Research Grant Scholarships 

UNSW and Sun Microsystems Labs
2009 PhD Scholarship

3 year position available for start in first half of 2009 UNSW University, Sydney and Sun Microsystems Laboratories, Brisbane

Sun Microsystems Laboratories, Sun Labs, in collaboration with UNSW University, will sponsor a 3-year PhD scholarship in the area of static program analysis.

We are seeking a highly motivated student to work on a project titled "Static Analysis of Concurrent C/C++ Programs." 

The project will involve developing advanced static analysis techniquesand algorithms for detecting concurrency bugs such as data races and atomicity violations in concurrent C/C++ programs.

The successful candidate will be enrolled full time at UNSW.

The scholarship provides a living allowance of A$22,000 per annum (tax-free) for three years (with a possible 6 month extension).
If the scholarship recipient is a high caliber overseas student, a tuition fee waiver will be awarded and Overseas Student Health Cover (OSHC) fees will also be covered.

In addition, the successful candidate is expected to have opportunities to work as a paid intern at Sun Labs, Brisbane.

Requirements:

Applicants must have completed a Bachelor of Computer Science, Software Engineering or Computer Engineering with at least honours, Class I (ie. 75%), or equivalent.

The successful candidate needs to possess excellent design and implementation skills in C, C++ or Java, as well as some knowledge of program analysis techniques in one of these areas: data-flow analysis, type analysis, abstract interpretation or model checking.

Experience in the use of large-scale complex software systems is highly desirable.

The candidate will interact with the Parfait Sun Labs team and can base his/her work on Parfait's layered framework for bug and security vulnerability checking of C/C++ systems code.

Supervisors:

Professor Jingling Xue (), UNSW, will be the PhD supervisor, and Senior Research Scientist, Cristina Cifuentes, Sun Labs, Brisbane, will be the co-supervisor.

Contact:

For more information about Sun Labs, Brisbane and the Parfait project or to apply see http://research.sun.com/projects/downunder.

Applicants should submit a resume in PDF format, transcripts,  a statement of experience in the area and copies of selected publications (if any) in this and other related areas, to Professor Xue.

The closing date is 25 August 2008.