[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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: [EMAIL PROTECTED] 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.