Research Scholar Needed at University of Queensland, Australia

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)

Description

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.

Eligibility

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.

Remuneration

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.

Application

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, p.lindsay@uq.edu.au. 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.