rss

Sunday, August 1, 2010

Australian Postgraduate Award (Industry) in Model Checking for Dependable Software-based Systems

Overview

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 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:

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 1 Sept 2010. There may be a requirement to commence the scholarship before the end of 2010. Watch this space for updates.

To apply:

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: 27 August 2010

For more details: contact Prof Peter Lindsay.

Source: http://www.itee.uq.edu.au/~dccs/apai-ad.html


Please kindly mention Scholarization.blogspot.com when applying for this scholarship


Bookmark and Share

Other Recommended Scholarships



Join us and fill in the form below with your email address to get free scholarship information:

Privacy Guarantee: we will not share your personal information with anyone.

0 comments:


Post a Comment

Get free scholarship Info into your inbox!

Fill in your e-mail address below to get free scholarship information:

Delivered by FeedBurner

Click on "Like" to receive scholarship updates via facebook

Recent Scholarships

free counters

Blog Archive

 
Scholarship Team: Ph.D Scholar Krisstofferson Joniel Scholarship Adviser, PhD Scholar Vitom Chea Scholarship Adviser, PhD Scholar Rebecca T. Dalisay Scholarship Adviser, Ph.D Student Jiao Wang Scholarship Coordinator, MSc Student Dennise Maricel Scholarship Coordinator
Creative Commons License
The published information is licensed under a Creative Commons Attribution-Noncommercial-Share Alike 3.0 United States License.
Creative Commons
Scholarship Team: Ph.D Scholar Krisstofferson Joniel Scholarship Adviser, PhD Scholar Chea Vitom Scholarship Adviser and Senior Lecturer, PhD Scholar Rebecca T. Dalisay Scholarship Adviser, Ph.D Student Jiao Wang Scholarship Coordinator, MSc Student Dennise Maricel Scholarship Coordinator