This 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 value of this scholarship is AUD25,392 per annum, indexed. The duration is 3 years with a possible extension for 6 months. International applicants are eligible to apply for a UQ tuition fee waiver.
Eligibility
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.
The scholarship is expected to be payable from 1 January 2015.
Application Closing Date
14 July 2014 - 11:55pm AEST
For more information and application please visit University of Queensland Research Scholarship page.
