Software Engineering Research Scholarship (Probabilistic Verification and Model-Based Quality Evaluation for Automotive and Avionic Systems)

Buzz This

Sponsored Links
April 4, 2009

Software Engineering Research Scholarship (Probabilistic Verification and Model-Based Quality Evaluation for Automotive and Avionic Systems)

Description : Project title: Probabilistic Verification and Model-Based Quality Evaluation Research topic: Model Based Development (MBD) has established itself as the key approach to software engineering of increasingly complex systems in automotive and aerospace domains. It has proved successful at managing complexity associated with functionality. A new approach is to use model-based techniques also for quality evaluation and predictions. Since most of quality attributes such as performance, reliability, availability, safety, and security have a probabilistic nature, probabilistic verification techniques are the best solution to perform model-based quality evaluation. The research project shall explore the possibilities of probabilistic modelling and verification techniques to reason about quality attributes early in the software development lifecycle. To get a detailed introduction into this research project please have a look at the following background literature: -Controller dependability analysis by probabilistic model checking (http://dx.doi.org/10.1016/j.conengprac.2006.07.003) – Early quality prediction of component-based systems – A generic framework (http://dx.doi.org/10.1016/j.jss.2006.08.014) Your Benefits: Basically, the benefits can be summarised as follows: – You will work on real-world research problems. (There will always be opportunities to cooperate with major software and systems engineering companies.) – You will be trained in all skills that are required to successfully finish you research project. Our goal is to help you develop the skills, connections, and opportunities required, that ensure a successful postgraduate career. – You will create research outputs at the highest standards. In today’s world, it is not only enough to be good, students must be great and competitive compared to other graduate students. Please have a look at our own research outputs. – You will get optimal and continuous supervision. My goal is to give you strong support on your research from a technical side. However, we also try to help my students to develop their personal skills. If you like to know more about my supervision style, we can provide contact details of recently graduated students as reference. – You study in a friendly and cooperative environment. Australia is known for its friendliness. We require: We are interested in a PhD student who has a good academic record (first class honours or equivalent with marks above 80%) with background in one or more of the following areas: – probabilistic logics and probabilistic verification – probabilistic model checking – quality attributes such as performance, reliability, availability, safety, and security – software engineering (in the areas of embedded systems, robotics, etc. ) – software architectures and architecture evaluation – formal methods in system design – statistics Since this project involves working with other PhD students and industrial partner, communication skills and the ability to work in a team environment are especially required. The scholarship carries a value of AUS$20,000+ p.a., with tuition fee exemption for both Australian and international students. The selection process will be competitive. If you are interested in the research project, please provide the following information via email to lgrunske [at] swin.edu.au (please use the following header for you email “PostGradApplication_YourName”): – detailed curriculum vitae – short statement about you skills related to the area of research – an (electronic) copy of undergraduate and postgraduate transcripts (first class honours or equivalent with marks above 80% or GPA 3.50/4) For the final application also the following documents are required: – filled out application form for post graduated education at the Swinburne University of Technology – evidence of English proficiency for non-native English speaker (officially required is an IELTS of 6.5 with no band below 6.0, practically scores above 7.0 are preferred).

Homepage : Probabilistic Verification and Model-Based Quality Evaluation
Category : Computer Science

Contact address : Dr. rer. nat. Lars Grunske Faculty of ICT, Swinburne University of Technology John Street, Hawthorn Melbourne, Victoria 3122, Australia Australia Telephone: +61 3 9214 4758 Fax: +61 3 9819 0823 Web: http://www.ict.swin.edu.au/personal/lgrunske/
Keywords : Software Engineering, Statisitic, Auto, Car, Australia, performance, reliability, availability, safety, security
Name : Lars Grunske
Email : lgrunske@swin.edu.au

Tags: , , , , , , , , , , , , , , , , , , , , , , ,

Sponsored Links

Search
  

Don't forget to mention Scholarship-Positions.com when replying to this position.

Tips For A Safe Scholarship Search: Never give your bank account information, credit card or social security number to a prospective employer. Do not accept any offers to cash checks or wire money.
Get Free Scholarship Newsletters by Email
Follow us on: Twitter | Scholarship Buzz | RSS Feed

Search for Scholarships, Financial Aid, Graduate Programs in Universities of Different Countries

 
Austria Croatia Iceland Macedonia Philippines Thailand
Argentina Cuba India Madagascar Poland Tunisia
Australia Cyprus Indonesia Malaysia Portugal Turkey
Azerbaijan Czech Republic Iran Mexico Puerto RicoUkraine
Bahrain Republic of Congo Iraq Moldova RomaniaUAE
Bangladesh Denmark Ireland Mongolia Russia United Kingdom
Belarus Dominican Republic Israel Morocco Rwanda USA
Belgium Ecuador Italy Nepal Saudi Arabia Uruguay
Bolivia El SalvadorJapan Netherlands Serbia Uzbekistan
Bosnia Estonia Kazakhstan Netherlands A. Slovak Republic Venezuela
Brazil Finland Kenya New Zealand South AfricaVietnam
Bulgaria France Korea Republic Nicaragua Spain Yemen
Cambodia Georgia Kuwait Nigeria Sri lanka Zambia
Cameroon Germany Kyrgyzstan Norway Sudan Zimbabwe
Canada Ghana Latvia Pakistan Sweden 
Chile Greece Lebanon Palestine Switzerland 
China Guatemala Liberia PanamaSyria 
Colombia Hong KongLibya Paraguay Taiwan 
Costa Rica Hungary Lithuania Peru Tanzania