--------------------------------------------------------- Reminder: Call for PhD Applications, deadline 30 Nov 2004 --------------------------------------------------------- A PhD scholarship is available within the research group for Theoretical Informatics (Prof Martin Hofmann) at the University of Munich (LMU). The successful applicant should have some experience, e.g. in the form of a topical diploma or master thesis, in one of the following areas: - Computer-aided theorem proving: program logics, decision procedures, integration of interactive and automatic theorem proving, higher-order syntax. - Computational complexity and programming: characterisation of complexity classes by logical means or programming formalisms, finite model theory. - Program analysis: pointers and higher-order store, automatic cost analysis. Students with a background in another area of logic in computer science are also welcome to apply. The PhD studentship will be associated with the Graduate School (Graduiertenkolleg) "Logic in Computer Science". The grant is initially for 36months and will be EUR1000 per month or more. The successful applicant should participate in undergraduate tuition to the extent of 2 contact hours per week during term time. Exceptions to this are negotiable. Applications comprising - CV - record of undergraduate studies - copy of or link to diploma thesis (perhaps still in draft stage) - addresses of two senior academics willing to provide references - 1 page essay on why you would like to pursue PhD studies and which topic / area you would like to work on are invited until 30th November 2004 and should be sent to Prof Martin Hofmann Institut fuer Informatik Oettingenstr 67 80538 Muenchen Germany www.tcs.ifi.lmu.de/~mhofmann or by e-mail to "hofmann at ifi dot lmu dot de". 22-Nov-2004 16:52:19 -0400,1142;000000000000-00000000