PhD Scholarship in Model Checking for Dependable Software-Based Systems, Australia
PhD Scholarship in Model Checking for Dependable Software-Based Systems, Australia.
Job Description:
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
Contact Person: Prof Peter Lindsay.
Scholarship Tags: Australia, based, Checking, Dependable, Model, PhD, Scholarship, Software, Systems
Scholarship Search
Important: Scholarship-Positions.com is not responsible for the content of any external websites linked to or referenced on this site.
Browse Scholarships
- Africa Scholarships
- Australia Scholarships
- Austria Scholarships
- Belgium Scholarships
- Canada Scholarships
- China Scholarships
- Denmark Scholarships
- France Scholarships
Recent USA Scholarships
Vanderbilt Postdoctoral Research at Vanderbilt University School of Medicine, 2012/13 USA 2012-2013 Fulbright NEXUS Regional Scholar Program, USA 2012 R G Menzies Scholarships for Australian Citizens, USA TLMI 4 Year College Degree Scholarship Program, USA 2012 2012-13 TLMI 2 Year College Degree Scholarship Program, USARecent UK Scholarships
RIBA Aedas Stephen Williams Scholarship in Architecture, 2012/13 RIBA Norman Foster Travelling Scholarship in Architecture, 2012 2012 Research Position in Pure Mathematics at University of Bristol, UK Postdoctoral Research Position in Synthesis and Analysis of Peptide-Based Porous Materials, UK Postdoctoral Research Position in Structural Engineering at University of Liverpool, UK 2012Recent Germany Scholarships
PhD Studentship in Polymer Sciences at German Institute for Polymers, Germany Postdoctoral/ PhD Student Postions in Genome Biology at GRK1721, 2012 Germany Bucerius PhD Scholarship in Migration Studies, 2012 Germany PhD Position in Theoretical Physics at Humboldt University Berlin, Germany Doctoral – Postdoctoral Program in Mathematics Education in Germany 2012Recent India Scholarships
2012 Summer Research Fellowships in Engineering at IIT Delhi, India The Ravi Sankaran Fellowship Program for Indian Students, 2012 Trinity College Dublin Scholarships for Postgraduate Students, Ireland 2012 2012 Henley Business School Scholarship India at University of Reading, UK POCE/POBE Scholarship Programme at Jawaharlal Nehru Centre for Advanced Scientific Research- Bangalore, IndiaWomen Scholarships
Call for Applications: Women Scientists Scheme (WOS-C) Training, India 2012 HHL Scholarship for Women in Business, Germany 2012 University Hall St Andrews Graduates’ Association (UHStAGA) Scholarship, UK 2012 International Fellowships Programme for Women in Japan WIA Foundation Annual 2012-2013 Scholarship for Women, USAAfrica Scholarships
Postdoctoral Research Fellowship in Geology for Australian Citizens in Tanzania, 2012 2nd Joint Call Research Proposal in Population, Reproductive Health and Economic Development, 2012 The 2012 TechWomen Professional Mentorship and Exchange Program, USA Internship Programme at African Development Bank, 2012 Africa MPhil / PhD Research Internships at PLASS Institute for Poverty, Land and Agrarian Studies, South AfricaScholarship Blog
Useful Links
Search in Worldwide UniversitiesOxford Laboratory Technology
Search Courses in Indian Universities
IndiaJobs.co.in, India Jobs Employment, Recruitment, Careers, Interview
Teaching, Professor Jobs in India
GRE Prep and Free Courses