[TYPES/announce] PhD Positions in Program and Model Analysis (TUM, LMU)

[Tobias Nipkow]

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

                           http://puma.in.tum.de

The German Research Council (DFG) funds 12 doctoral fellowships through
the new Doctorate Programme (Graduiertenkolleg) ``Program and Model
Analysis''. The programme starts in July 2008. Applications are invited now.


Hosting institutions.

The programme is hosted by the Technische Universität and
Ludwig-Maximilians-Universität 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 most
reputed in Germany. The Professors involved in the programme are:
Manfred Broy, Javier Esparza, Martin Hofmann, Alexander Knapp, Alois
Knoll, Tobias Nipkow, Helmut Seidl, Christian Urban, Helmut Veith and
Martin Wirsing.


Objective.

The programme will enable PhD students to conduct leading-edge research
on methods, 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 leading approaches for this task (theorem
proving, model checking, abstract interpretation and type systems) and
to apply them to software-intensive systems. PhD students will receive
individual in-depth supervision and will participate in a structured
programme of courses and seminars offered by world experts.

Positions.

The doctorate programme offers 12 doctoral fellowships for a period of
three years.  Renumeration is according to Level 13 of the TV-L German
salary scale. This amounts to an initial gross salary of 2900 Euro per
month, increased to 3225 Euro per month after one year. Doctoral degrees
are awarded by the Technische Universität or the
Ludwig-Maximilians-Universität. The earliest possible starting date is
July 2008.


Eligibility.

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 degrees within the next months are also welcome.
Fluency in spoken and written English or German is required.


Applications.

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

     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.