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 techniques and 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.
The successful candidate is expected to have opportunities to work as a paid intern at Sun Labs, Brisbane.
In addition, the successful candidate is expected to have opportunities to work as a paid intern at Sun Labs, Brisbane.
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.