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.
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.
Professor Jingling Xue (), UNSW, will be the PhD supervisor, and Senior Research Scientist, Cristina Cifuentes, Sun Labs, Brisbane, will be the co-supervisor.
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.