Deadline: 14 July 2014
Open to: degree in Mathematics, Computer Science or a related area with experience in discrete mathematics or formal methods
Remuneration: AUD 25,392 per annum (approx. EUR 17,600)
This scholarship is funded by an ARC Linkage-Projects grant at University of Queensland (UQ) and will provide support for three years on a full-time basis for a research project leading to a PhD. 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 objective of the research project is to find effective ways of applying and adapting the Behaviour Tree Modelling method to Air Traffic Management software, to improve specification and testing of software-based components of the system.
Applicants should have an Honours 1 or 2A degree in Computer Science, Mathematics or a related area. Previous model checking experience is an asset. Strong experience or background in discrete mathematics or formal methods is essential.
The value of this scholarship is AUD 25,392 (approximately EUR 17,600) per annum, indexed. The duration is three years with a possible extension for six months. International applicants are able to apply for a tuition fee waiver.
The deadline for applications is 14 July 2014 (11:55 PM) E. Australia Standard Time.
If you wish to apply for this position, send your CV and cover letter by email to Prof. Peter Lindsay, [email protected] In your cover letter please describe any relevant knowledge or expertise in the project area, and indicate when you expect to be able to start. Also include contact details for two or three referees familiar with your work.
For further information, please visit the official website.