The Software Technologies Research Group ("Lehrstuhl Softwaretechnik und Programmiersprachen") at the University of Bamberg is offering a Postdoc position in Formal Methods. Applicants should have (or shortly expect to receive) a PhD in Computer Science or a closely related field. A strong background in Theoretical Computer Science is expected, and preferrably knowledge in Concurrency Theory and/or Automated Verification. Familiarity with the German language is not required. The position is full-time, initially for one year but likely extensible for up to six years. It is available from the end of April and is paid according to the TV-L scale in Germany, on spine point E13 (starting at approx. 38,000 Euro per year), with teaching duties of 5 hours per week during the semester. Bamberg is a medium-sized city in northern Bavaria, located not far from Nuremberg on the fast train line between Munich and Berlin. Its old part of town is one of the UN World Heritage Sites, and its university has just over 10,000 students. Living costs are very moderate. The research group consists of four researchers who are currently focussing on theories of specification formalisms mixing state machines and temporal logic, and on (parallel) algorithms for state-based software verification. For more details, please feel free to contact: Prof. Dr. Gerald Luettgen Software Technologies Research Group Faculty of Information Systems and Applied Computer Sciences The University of Bamberg, 96045 Bamberg, Germany Email: gerald.luettgen {at} uni-bamberg {dot} de Web: http://www.swt-bamberg.de/ Tel.: +49 951 863-3850 / Fax: +49 951 863-3855