The University of Queensland is inviting applications for research scholarship available for international and Australian students, who have an Honours 1 or 2A degree in Computer Science, Mathematics or a related area. Scholarship will be awarded for undertaking a research project leading to a PhD. The value of scholarship is AUD25, 392 per annum for 3 years on a full time basis. Applications will be closed on 14th July 2014
Scholarship is awarded in the Faculty Of Engineering, Architecture & Information Technology. Course Level: Scholarship is available for undertaking a research project leading to a PhD at University of Queensland.
* Applicants should have an Honours 1 or 2A degree in Computer Science, Mathematics or a related area.
* Strong experience or background in discrete mathematics and/or formal methods is essential. Previous model checking experience is desirable.
* Australian citizenship or permanent residency is preferred.
Scholarship is funded by an ARC Linkage-Projects grant at UQ and will provide support for 3 years on a full-time basis for a research project leading to a PhD. The objective of the research project is to find effective ways of applying and adapting the Behaviour Tree Modelling method to Air Traffic Management (ATM) software, to improve specification and testing of software-based components of the system. The project is a key part of a larger collaboration with Swinburne University, Thales and Dendronix, to improve integrity assurance of large-scale aviation software systems.
Duration of scholarship
This research scholarship is available for the duration of 3 years with a possible extension for 6 months.
The mode of applying is online. Applicants have to email resume and cover letter to Prof Peter Lindsay, p.lindsay-at-uq.edu.au. Applicants have to include the following information in their Resume: Citizenship (Australian PR) and details of academic qualifications. In cover letter please describe any relevant knowledge or expertise in the project area, and indicate when you expect to be able to commence. Also include contact details for 2 – 3 referees familiar with your work.
Scholarship Application Deadline: Applications will be closed on 14th July 2014