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
Dartmouth General Fellowships for International Graduate Students, USA or Abroad 2012 2012 GIA Scholarship for Graduate Students in Gemology and Jewelry Manufacturing Arts, USA Japan Studies Fellowship at East-West Center, USA 2012 Asia Studies Fellowship Program at East-West Center, 2012 USA Philip and Euline Seecharan Scholarship at Florida International University, USA 2012Recent UK Scholarships
School of Psychology International Undergraduate Scholarship 2012, UK BU Vice-Chancellor’s Scholarship at Bournemouth University, 2012 UK Dr Muhammad Shahidullah Scholarship for Bangladeshi Students at London Metropolitan University, UK The Business School MBA Scholarship (International) at Bournemouth University, 2012 UK Bournemouth University International Postgraduate Scholarship, 2012-20113, UKRecent Germany Scholarships
PhD in Life Sciences at The International Giessen Graduate School for the Life Sciences, Germany Germany Postgraduate Training Program – 2012 Cycle (PhD studies in Germany) HBIGS 12 MSc/ PhD Fellowships at Heidelberg University, Heidelberg, Germany PhD Studentship in Polymer Sciences at German Institute for Polymers, Germany Postdoctoral/ PhD Student Postions in Genome Biology at GRK1721, 2012 GermanyRecent India Scholarships
2012 Postdoctoral Fellowship at G.B. Pant University of Agriculture & Technology, India FedBank Hormis Memorial Foundation Scholarships 2012, India Commonwealth Scholarship Plan for Indian Students, New Zealand Ms. Agatha Harrison Memorial Fellowship for the Year 2012-13, UK 2012 The Tara Nirula International Students House (ISH) for Indian Students at University of the Arts London, UKWomen 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
2012 Disability Rights Scholarship Program at University of Pretoria, South Africa 2012 TBA Masters Scholarship for African Students, Africa The University of Pretoria Research Development Programme, 2012 South Africa EK BROWN Bursary 2012 in Veterinary Science, South Africa Hewlett Foundation/Institute of International Education Dissertation Fellowship, 2012Scholarship 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