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)


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, 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.

One thought on “Research Scholar Needed at University of Queensland, Australia

  1. Unquestionably believe that which you said. Your favorite reason seemed to be on the web the easiest thing to be aware of.
    I say to you, I definitely get annoyed while people consider
    worries that they plainly do not know about. You managed to hit the nail upon the top and also defined out
    the whole thing without having side-effects , people could take a
    signal. Will likely be back to get more. Thanks

Leave a Reply