Sweden 2011 PhD in Program Verification and Validation at Uppsala University

[Sweden 2011] PhD in Program Verification and Validation at the Department of Information Technology, Uppsala University
Eligibility:
A successful candidate should have a master of science inComputer Science, Engineeringor equivalent. Furthermore, it is desirable if the applicant has strong background in both automata theory and algorithms. Good skills in oral and written English are required. Programming skills would be an advantage.

Scholarship Open for International Students: No

Scholarship Description: Concurrent programs are (more and more) present at different levels of computer systems. The design and development of concurrent programs present many challenges due to the complexity of their behaviors which results between their components. It therefore crucial to develop formal methods to verify automatically their correctness with respect to some specifications. The main goal of this project is then to develop algorithms and tools for the automatic verification and correction of concurrent programs.

How to Apply: Online

Scholarship Application Deadline: 12 September, 2011

Study Subject(s):Verification and Validation – Verification of concurrent programs
Course Level:PhD
Scholarship Provider: Uppsala University
Scholarship can be taken at: Sweden

Further Scholarship Information and Application

http://www.personalavd.uu.se/ledigaplatser/2230PhD.html