Australia – Swinburne University of Australia PhD Scholarship in Empirical Evaluation of Property Specification Patterns
Australia: Software Engineering Research Scholarship (Empirical Evaluation of Property Specification Patterns)@
Swinburne University of Australia (Melbourne, Australia)
Project title:
Empirical Evaluation of Property Specification Patterns
Research topic:
This Research project aims to investigate with empirical experiments if using specification patterns (specifically the specification patterns of Dwyer et al. 99) has a positive impact on the ability of software engineers to formalize requirements and properties. The used specification formalisms are temporal logics.
To get a detailed introduction into this research project please have a look at the following background literature:
- Property Specification Patterns for Finite-State Verification (http://doi.acm.org/10.1145/302405.302672)
- Real-time specification patterns (http://dx.doi.org/10.1109/ICSE.2005.1553580)
- Specification patterns for probabilistic quality properties (http://doi.acm.org/10.1145/1368088.1368094)
- 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:
- temporal logics and verification
- model checking
- empirical software engineering
- 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).
For more information about the research and the environment please have look at the research projects page and the main page.
For general information for prospective students please have a look this page.
Contact details:
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
Email: lgrunske [at]swin.edu.au
Please kindly mention GetScholarship.net when replying to this position