PhD Scholarship in Model Checking for Dependable Software Based Systems

Model Checking for Dependable Software-Based Systems Scholarship

PhD 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 model checking to large-scale systems, to improve understanding of system requirements, and to improve specification and testing of software-based components of the systems.

The project is a key part of a larger collaboration with Griffith University, Raytheon Australia and KJ Ross & Associates, to develop improved methods for building and testing large-scale dependable systems and Systems of Systems.

The value of this scholarship is $AU 26,669 (per annum).See the Dependable Computer-based Complex Systems web pages for background information.The PhD project will provide analytical support for the Behavior Trees methodology.It will be a mixture of theory and application to large case studies supplied by the industry partners, and is likely to involve some tool development.It is based at the beautiful St Lucia campus of the University of Queensland in Brisbane.

See the School of Information Technology & Electrical Engineering web pages for details of postgraduate study at UQ.

Eligibility for PhD Scholarship

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 residence is required.

The scholarship is expected to be payable from around 1st September. There may be a requirement to commence the scholarship before the end of Year. Watch this space for updates.

How to apply for PhD Scholarship 

Email CV and cover letter to Prof Peter Lindsay. Please include the following information in your CV: citizenship ( /Australian PR ); 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.

Deadline for Scholarship Application Form : August