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 has started in July 2008. Applications for up to 5 positions welcome. 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 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. Objective. The programme will help PhD students to conduct excellent 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 get excellent supervision, and will participate in a structured programme of courses and seminars offered by world experts. Positions. 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 negotiable.ligibility. 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 Graduiertenkolleg PUMA, c/o. Prof. Dr. Helmut Seidl Technische Universität München Institut für Informatik, Boltzmannstraße 3 85748 Garching Email: puma@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.