Research assistant positions in Bremen

[Till Mossakowski]

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