[isabelle] Two post-doc positions at Saarland University

             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

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

Verisoft Projektleitung
Gebaeude E1 3
Postfach 15 11 50
66041 Saarbruecken
phone: +49 681 302 3585

or mailed to management at 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

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.