Email Gateway (Aug 18 2022 at 16:23): Email Gateway (Aug 18 2022 at 16:23):From: Christoph Weidenbach <weidenbach@mpi-inf.mpg.de>
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@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
Germany
Last updated: Nov 21 2024 at 12:39 UTC