PhD fellowship,Computer Science@ Sweden

 

Subject: Verification of Parallel Programs,

Place: at the Department of Information Technology, Uppsala University
Study Subject: Computer Science

Level: PhD

Scholarship Description: The work will concern development of techniques for automatic formal verification of and defect detection in parallel programs, by developing and combining techniques from areas including software model checking, static program analysis, and constraint solving.

The work will largely be carried out both in the context of the UPMARC research center, as well as be supported by a focus project support by VR.
Requirements:
1). Master of Science in Computer Science, Computer Engineering, or equivalent, in a field
2). He/She should have a good background in some of the fields program analysis, compiler techniques, formal techniques and logic, testing, software engineering, and similar, as well as to be proficient in implementing non-trivial algorithms.
 Time period: The position is for a maximum of five years and includes departmental duties at a level of at most 20% (typically teaching).
Application: The application should include a description of research interests and past experience, a CV, copies of exams, degrees and grades, a copy of Master thesis (or a draft thereof), relevant publications, and other relevant documents. Candidates are encouraged to provide letter(s) of recommendation and contact information to reference persons, as well as earliest feasible starting date of employment.
Deadline: 20 December 2010
 Link: For more details click here