Apply nowJob no:495096 Area:Faculty Of Engineering, Architecture & Info Tech Salary (FTE):APA Scholarship NON-BANDED ($25,392.00 - $25,392.00) Work type:Full Time - Fixed Term, Full Time - Scholarship Location: St Lucia
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 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.
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.
See the Dependable Computer-Based Complex Systems http://www.itee.uq.edu.au/sse/dccs web pages for background information. The PhD project will provide analytical support for the Behaviour Trees methodology. It will be a mixture of theory and application to large case studies supplied by Thales, and is likely to involve some tool development. It is based at the beautiful St Lucia campus of the University of Queensland in Brisbane.
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.
Email Resume and cover letter to Prof Peter Lindsay, firstname.lastname@example.org. Please include the following information in your Resume: Citizenship (Australian PR) and details of academic qualifications. In your 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.