pplication date: 2014-12-14
Uppsala University is an international research university focused on the development of science and education. Our most important assets are all the individuals who with their curiosity and their dedication makes Uppsala University one of Sweden’s most exciting work places. Uppsala University has 41.000 students, 6,500 employees and a turnover of SEK 5,900 million.
The Department of Information Technology is opening 1 PhD student position for a highly motivated individual interested in conducting outstanding research in the area of formal verification for concurrent systems.
Multi-core processors are ubiquitous, but writing correct concurrent code is hard. Multi-threaded applications are prone to subtle bugs, such as deadlocks and race conditions. These bugs are notoriously difficult to find. Consequently, there is great interest in formal verification techniques for concurrent code. The overall objective of the project is to build a trustworthy framework that supports the interactive and semi-automated verification of programs that utilize low-level concurrency The work will be carried out in the Modeling of Concurrent Computation research group (http://www.it.uu.se/research/group/mobility), which is part of the Uppsala Programming for Multicore Architectures Research Centre (http://www.it.uu.se/research/upmarc).
Qualifications: The candidate should have a Master of Science in Computer Science, Computer Engineering or equivalent, ideally with a strong background in logic, formal semantics and concurrent/parallel programming. Experience with interactive theorem proving (e.g., Isabelle, Coq) is a plus.
The position is for at most five years, and includes department duties (mainly teaching) at a level of at most 20%, as well as course participation. You will be expected to be able to teach in Swedish or English, and good English communication skills, both spoken and written, are required.
Rules governing PhD candidates are set out in the Higher Education Ordinance Chapter 5, § § 1-7, and in the Uppsala University’s rules and guidelines, at http://regler.uu.se/Rules_and_regulations_in_English/.
The department is striving to achieve a more equal gender balance and female candidates are particularly invited to apply.
The application should include a description of yourself, your research interests, reasons for applying for this particular PhD position and past experience (max.3 pages), a CV, copies of relevant university degrees and transcripts, relevant publications, a copy of your MSc thesis (or a summary in case the thesis is ongoing) and other relevant documents. Candidates are encouraged to provide up to 3 letters of recommendation and contact information to reference persons. We would also like to know your earliest possible date for starting.
Please note that applications can only be accepted via the web interface linkedbelow (and not via email).
For further information about the position, please contact Dr. Tjark Weber, Tjark.weber@it.uu.se
You are welcome to submit your application no later than December 14, 2014. UFV-PA 2014/3228 Use the link below to apply.
We decline offers of recruitment and advertising help. We only accept the application the way described in the advertisement.
Placement: Department of Information Technology
Type of employment: Full time , PhD placement
Number of positions: 1
Working hours: 100%
Town: Uppsala
County: Uppsala län
Country: Sweden
Union representative: Carin Söderhäll, TCO/ST 018-471 1997 1
Per Sundman, Saco-rådet 018-471 1485 1
Stefan Djurström, Seko 018-471 3315 1
Number of reference: UFV-PA 2014/3228
Last application date: 2014-12-14
No views yet
phd in computer science at sweden
No comments:
Post a Comment