Email Gateway (Aug 18 2022 at 12:24): Email Gateway (Aug 18 2022 at 12:24):From: Dirk Leinenbach <management@verisoft.de>
Saarland University, Germany
Two post-doc positions
The Verisoft XT project [1] 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 [2].
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
security).
Application deadline is 30 September 2008;
start date: as soon as possible.
Applications should include
and be sent to
Verisoft Projektleitung
Gebaeude E1 3
Postfach 15 11 50
66041 Saarbruecken
Germany
phone: +49 681 302 3585
or mailed to management@verisoft.de.
Informal inquiries are also welcome at the same email address.
1) http://www.verisoftxt.de
2) http://www.microsoft.com/emic/verisoft.mspx
Last updated: May 03 2024 at 08:18 UTC