PhD Scholarship in Program Analysis/Security

PhD Scholarship
3 year position available for start in second half of 2008
Sun Microsystems Laboratories Brisbane, and Bond University Gold Coast, Australia

Sun Microsystems Laboratories, Sun Labs, in collaboration with Bond University, will sponsor a 3-year PhD scholarship in the area of program analysis. We are interested in advanced program analysis techniques and algorithms as they relate to bug checking of systems code.

Requirements
Applicants must have completed a Bachelor or Masters of Computer Science, Software Engineering, Computer Engineering, Mathematics or affine area of study.

The successful candidate needs good design and implementation skills in the C, C++ or Java language, as well as some knowledge of program analysis techniques in one of these areas: data flow techniques, type analysis or abstract interpretation. The candidate will interact with the Parfait Sun Labs team and can base his/her work on their layered framework for bug and security vulnerability checking of systems code.

Supervisors
Professor Paddy Krishnan (pkrishna@xxxxxxxxxxx), Bond University, will be the PhD supervisor, and Senior Researcher and Principal Investigator, Cristina Cifuentes, Sun Labs Down Under, will be the associate supervisor.

Contact
For more information about Sun Labs Down Under and the Parfait project or to apply see http://research.sun.com/projects/downunder. Applicants should submit a resume in PDF format and a statement of experience in the area to Professor Krishnan.
.