[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Research assistant positions in Bremen
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.informatik.uni-bremen.de/cofi/projects/multiple.html
http://www.informatik.uni-bremen.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 15.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.informatik.uni-bremen.de/~till