[TYPES/announce] PhD Fellowships in "Program and Model Analysis"

Helmut Seidl seidl at in.tum.de
Sat Jun 18 11:26:05 EDT 2011

[[We apologize if you receive multiple copies!]]

      PhD Fellowships in the Doctorate Programme:
                      ``Program and Model Analysis''


The German Research Council (DFG) funds 12 doctoral fellowships through the
new Doctorate Programme (Graduiertenkolleg) ``Program and Model Analysis''.
The programme has started in July 2008. Applications for up to 5 
positions welcome.

Hosting institutions.

The programme is hosted by the Technische Universität and 
München, two of the three universities selected in the first round of 
the highly
competitive Excellence Initiative. Their Computer Science departments 
are among the
oldest and most reputed in Germany. The Professors involved in the 
programme are:
Manfred Broy, Javier Esparza, Martin Hofmann, Alois Knoll, Tobias Nipkow,
Andrey Rybalchenko, Helmut Seidl and Martin Wirsing.


The programme will help PhD students to conduct excellent research on 
algorithms and tools for the analysis of programs and models of 
information systems.
The research topics seek to establish and exploit links between the four 
approaches for this task (theorem proving, model checking, abstract 
and type systems) and to apply them to software-intensive systems. PhD 
students will
get excellent supervision, and will participate in a structured 
programme of courses
and seminars offered by world experts.


The doctorate programme offers doctoral fellowships for a period of 
three years.
Retribution is according to Level 13 of the TV-L German salary scale. 
This amounts
to an initial gross salary of 3100 Euro per month, increased to 3450 
Euro per month
after one year. Doctoral degrees are awarded by the Technische 
Universität or the
Ludwig-Maximilians-Universität. Possible starting dates are 


Applicants should be at most 28 years old and hold a MSc (or an 
equivalent degree)
in computer science or related disciplines (typically mathematics, 
physics, or
engineering). Applications from MSc candidates who expect to get their 
within the next months are also welcome. Fluency in spoken and written 
English or
German is required.


Applications will be considered until all positions are filled. They 
should contain
a full curriculum vitae, a statement on the candidate's scientific 
names and contact information of 2 references, and should be sent to

    Graduiertenkolleg PUMA, c/o. Prof. Dr. Helmut Seidl
    Technische Universität München
    Institut für Informatik, Boltzmannstraße 3
    85748 Garching
    Email: puma at in.tum.de

Shortlisted applicants will usually be invited to visit München and give 
a talk on
their Master's Thesis or on a scientific topic to be agreed upon. The 
decision on
admission will be communicated shortly after the talk.

More information about the Types-announce mailing list