[isabelle] PhD/Project Position

Apologies for multiple copies 

   The Max Planck Institute for Informatics offers a

                PhD Student/Project Position

in the area of security analysis and verification. The goal of the
project is to improve automation for the formal verification of
information flow analysis. The approach is a tight integration
of automated (SPASS) and interactive (Isabelle) theorem proving.
The position is located in the Automation of Logic Group directed 
by Christoph Weidenbach.  The project is carried out in close 
cooperation with the group of Tobias Nipkow in Munich.

The Max Planck Institute for Informatics is located on the campus of 
Saarland University, Saarbrücken, Germany. Currently, 14 researchers 
from several nationalities work in the Automation of Logic Group. Our 
working language is English. The group collaborates with several of 
the major research institutions in Europe and the U.S. and has high 
international visibility. There is generous travel support available 
for all group members. The position is about 2,000 Euros per month, 
after taxes. 

Applications from disabled applicants are appreciated. Our institute 
supports the principle of equal opportunity for men and women, and is 
therefore interested in applications from women. 

All applications should include curriculum vitae and names of references 
with their e-mail addresses. Please send your application in 
PDF format by email to Jennifer Müller (jmueller at mpi-inf.mpg.de) by 
November 30, 2010. In addition, written applications may be sent to: 

Max-Planck-Institut für Informatik 
Christoph Weidenbach 
Campus E1 4 
D-66123 Saarbrücken 

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