Sun Microsystems Laboratories, Brisbane and Bond University, Gold Coast, Australia -- PhD scholarship
Sun Microsystems Laboratories, Sun Labs, in collaboration with Bond University, are sponsoring a 3-year PhD scholarship in the intersection of the areas of program analysis and model-based testing. We are interested in advanced program analysis techniques and algorithms as they relate to bug checking of systems code.
Applicants must have completed a Bachelor 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 knoledge of program analysis techniques in one of the following areas: data flow analysis, type analysis or abstract interpretation. The candidate will interact with the Parfait Sun Labs Down Under team and can base his/her work on their layered framework for bug checking of C/C++ code.
Professor Paddy Krishnan, Bond University, will be the PhD supervisor. Dr Cristina Cifuentes, Sun Labs Brisbane, will be the associate supervisor.
If you are interested in applying or have any queries about this scholarship, please email Professor Paddy Krishnan at firstname.lastname@example.org