The Department of Mathematics and Computer Science at the University of Marburg, Germany, offers a full time PhD-Position - Wissenschaftl. Mitarbeiter/in (BAT IIa) - in the area Universal Coalgebra / Universal Algebra, Verification, Formal Methods. Prerequisites: Excellent degree (Diplom or Master) in Computer Science or Mathematics. Strong background in one or more of the above areas. German language fluency. Tasks: Service (organization, preparation, counselling) in teaching and research at the undergraduate and graduate level. PhD-Research The contract is initially for 1 year, with the possibility for extensions to a total of at most 5 years If you are interested, please get in touch with Prof. Dr. H.Peter Gumm gumm@mathematik.uni-marburg.de The official advertisement can be found at http://www.mathematik.uni-marburg.de/~gumm/Stelle/Stelle.pdf