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
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
0 comments:
Post a Comment