[Sweden Scholarships]: PhD Position in Computer Science & Information Technology at Uppsala University

Application Deadline: 20th December

PhD position in Computer Science
Verification of Parallel Programs at the Department of Information Technology at Uppsala University, Sweden

Short 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 (the Swedish Research Council). More information at project pages http://www.upmarc.se

http://www.it.uu.se/research/docs/fm/apv/

http://www.it.uu.se/research/group/testing

Requirements: The candidate should have a Master of Science in Computer Science, Computer Engineering, or equivalent, in a field which is relevant for the work. It is helpful to 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. The position is for a maximum of five years and includes departmental duties at a level of at most 20% (typically teaching).

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.

The department is striving to achieve a more equal gender balance and female candidates are particularly invited to apply.

For more information, see http://www.it.uu.se/ (the department) or contact: Prof. Bengt Jonsson, bengt.jonsson@it.uu.se. Union representatives are: Anders Grundström, Saco-rådet, phone +46 18-471 5380, Carin Söderhäll, OFR-S/ST, phone +46 18-471 1996, Stefan Djurström, Seko, phone +46 18-471 3315.

You are welcome to submit your application no later than 20 December, 2010, UFV-PA 2010/3188.

Source: http://www.personalavd.uu.se/ledigaplatser/3188PhD.html

.