The following two research assistant positions are available at the University of Bremen, Germany. The Bremen Institute of Safe Systems in the Center for Computing Technologies at the University of Bremen hosts the research projects "Multi-logic systems as a basis for heterogeneous specification and development" (MULTIPLE) and "Algebraic specification + functional programming = environment for formal software development" (HasCASL) funded by the Deutsche Forschungsgemeinschaft (DFG). Within the framework of each of these projects, one position in the working group of Prof. Dr. Krieg-Brückner is to be immediately filled for at least two years (additional option for another two years), subject to availability of funds: Research Assistant Verg. Gr. IIa BAT (full time) In addition to successful university studies in computer science, experience and skills in functional programming (e.g. Haskell, ML) are expected. Familiarity with at least one of formal specification methods (like CoFI/CASL), theorem proving or category theory is desirable. Applicants with a PhD are welcome. However, there will also be the oppurtunity to prepare a PhD thesis in connection with the research project. In case of essentially equal qualification in the subject and personal suitability, severely handicapped applicants will be preferred. The University of Bremen intends to increase the share of women in scientific activities and does therefore strongly encourage women to apply for these positions. More detailed information about the projects can be found under http://www.tzi.de/cofi/projects/multiple.html http://www.tzi.de/cofi/projects/hascasl.html Please address your application with the usual documents and the reference number A164/00 (MULTIPLE) resp. A165/00 (HasCASL) before 01.02.2001 to: UNIVERSITÄT BREMEN Prof. Dr. B. Krieg-Brückner Fachbereich 3 Postfach 33 04 40 28334 Bremen e-Mail: cofi@tzi.de -- Till Mossakowski Phone: +49-421-218-4683, monday: +49-4252-1859 Dept. of Computer Science Fax: +49-421-218-3054 University of Bremen EMail: till@tzi.de P.O.Box 330440, D-28334 Bremen WWW: http://www.tzi.de/~till