[isabelle] Two post-doc positions at Saarland University
Saarland University, Germany
Two post-doc positions
The Verisoft XT project  at Saarland University invites applications
for two 1.5 years post-doc positions.
The work will focus on software verification within Verisoft's Microsoft
Hypervisor sub-projects .
Applicants should have a PhD in Computer Sciences;
candidates with expertise in formal software verification, concurrency,
and virtualization techniques are particularly welcome.
Good English language skills and ability to work in teams are required.
We offer an 18 month contract in a team of highly motivated young
researchers from Saarland University, Microsoft Research and the
European Microsoft Innovation Center (EMIC).
With the Max Planck Institute for Informatics, the German Research
Center for Artificial Intelligence, and the Cluster of Excellence on
Multimodal Computing and Interaction, Saarland University offers an
ideal environment for research in computer science.
Salary will be approx. 4000 Euro before taxes (including German social
Application deadline is 30 September 2008;
start date: as soon as possible.
Applications should include
- detailed curriculum vitae
- a list of relevant publications
- the names of at least two referees
and be sent to
Gebaeude E1 3
Postfach 15 11 50
phone: +49 681 302 3585
or mailed to management at verisoft.de.
Informal inquiries are also welcome at the same email address.
This archive was generated by a fusion of
Pipermail (Mailman edition) and