赵翔鹏的Blog Xiangpeng's Thinkpad

澳大利亚的PhD机会

我以前的老师、好朋友Paddy Krishnan教授在招PhD学生。对形式化方法有兴趣的同学可以联系他~Paddy人品很好，是非常nice的一个人。

Sun Microsystems Laboratories and Bond University,
Brisbane and Gold Coast, Australia
PhD Scholarship
Available to start on second semester 2008

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 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 the following 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.

See http://research.sun.com/projects/parfait for a brief description of the
project.

Supervisors

Professor Paddy Krishnan (pkrishna@bond.edu.au), Bond University, will be the PhD supervisor, and Senior Researcher and Principal Investigator, Cristina Cifuentes, Sun Labs Brisbane, will be the associate supervisor.