Date: Fri 18 Feb 2005 - 13:14:28 GMT
[We apologise for multiple copies.] PhD students and Postdoctoral researcher in Formal Methods ========================================================== Our profile ----------- The Programming Language and Software Validation (PLSV) group at the RWTH Aachen University in Germany is part of the Informatics department of the Faculty of Mathematics, Computer Science and Natural Sciences, an academic institution with about 3000 students in computer science. Research and education in computer science at the RWTH is frequently ranked as ``excel- lent''. Our group currently has 11 employees and is responsible for education and research in the area of formal methods and supporting software tools. To- pics of interest are: concurrency theory, (timed and probabilistic) model checking, semantics of programming languages, term rewriting, probabilistic models for concurrency. Software tools such as Aprove, ETMCC, Motor, and Truth have (part of) their roots in our group. More information can be found at URL www-i2.cs.rwth-aachen.de PhD students ------------ * Your profile Candidates should have an MSc (or equivalent) degree in computer science or a closely related area and have outstanding scores. Familiarity with one of the abovementioned topics is considered an advantage. You enjoy working in an internationally oriented research environment, and have the ability to work in a team. Communicative skills are important. Fluency in English and/or German is required. * Your duties You conduct research in one of the abovementioned topics and publish your results in international conferences and journals. Your research should lead to a dissertation. Besides, you obtain teaching duties and restricted supportive tasks. * Appointment and salary Salary will be on the BAT IIa scale, currently per month between 2900 and 3600 Euro depending on age and family situation. The positions are avai- lable from September 1, 2005 on. Postdoctoral researcher ----------------------- * Your profile Candidates should have a PhD in Computer Science or comparable qualifica- tions and have research experience in one of the abovementioned research areas. You have published your research results in relevant international journals and/or conferences. You enjoy working in a team and have good communication skills. Teaching experience is considered an advantage. * Your duties You conduct research in one of the abovementioned topics and publish your results in international conferences and journals. Besides, you actively participate in our teaching duties and are willing to fulfill supportive tasks within our group. * Appointment and salary You will be appointed for a period of maximally three years (with the pos- sibility of an extension). Salary will be on the BAT Ib scale, currently per month between 3100 and 4200 Euro depending on age and family situation. The position is immediately available. Information and application --------------------------- You can obtain further information about these positions from: Prof. Dr. Ir Joost-Pieter Katoen, firstname.lastname@example.org, tel. +49 241 80 21207, fax. +49 241 80 22217. Priv.-Doz. Dr. Thomas Noll, email@example.com, tel. +49 241 80 21213, fax. +49 241 80 22217. Formal applications should include a full CV, a statement of research interests, pointers to relevant publications, and contact details for 2-3 referees. Deadline for application is: April 1, 2005. Please send your application to the e-mail address above (preferably in pdf-format) or by mail to: Lehrstuhl für Informatik II RWTH Aachen Ahornstr. 55 D-52056 Aachen Please indicate the applicable vacancy number in your application: 2271 for the PhD positions and 2273 for the postdoctoral researcher. Employment equity is one of the aims of the RWTH. We welcome applications from persons with disabilities.