The Chair for Foundations of Software Reliability of the Technical
University of Munich (TUM), led by Javier Esparza, is inviting
applications for a doctoral and a postdoctoral research scholars.
The positions are funded by the ERC Advanced Grant "Parameterized
Verification and Synthesis". We are looking for excellent junior
researchers in any of the following areas: algorithmic analysis of
systems (model checking, static analysis); logical and
automata-theoretical approaches to formal verification and automatic
synthesis; and concurrency theory, in particular the theory of Petri
nets and Vector Addition Systems. For one of the positions we are
especially interested in candidates with experience in tool building.
The positions are funded for 2 years with the option of an extension for
another two. Applicants must have completed a degree in computer
science, mathematics, of electrical engineering, and must have
demonstrated strong interest in research. In addition to pursuing a
strong research program, the scholars are expected to contribute to
mentoring students.
TUM provides excellent working conditions in a lively scientific
community. The Chair for Foundations of Software Reliability maintains
an open, international, and diverse work environment. Current members
come from six different countries in three continents. There is generous
travel support available for all chair members. Our working language is
English.
For your application send your CV and 3 references to [email protected]
and
[email protected]. For the postdoctoral position add a summary of your
current reseach ideas. Please contact Javier Esparza at
[email protected] with any questions.
The positions are available from September 1, 2018, but a later start is
possible.
Reviewing of applications will commence on 15 June, 2018 and applicants
are encouraged to apply by this deadline. However, applications will be
accepted until the positions are filled.
--
Prof. Javier Esparza
Faculty of Computer Science
Technical University of Munich
Boltzmannstr. 3, 85748 Garching
----
[[ Petri Nets World: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ: ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies: ]]
[[ [email protected] ]]
