[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] 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
security).

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

Universitaet des Saarlandes
Verisoft Projektleitung
Postfach 15 11 50
66041 Saarbruecken
Germany
phone: +49 681 302 3585

or mailed to management@xxxxxxxxxxxx

Informal inquiries are also welcome at the same email address.

1) http://www.verisoftxt.de
2) http://www.microsoft.com/emic/verisoft.mspx