FREE POSSISION in SAFETY ANALYSIS of SPECIFICATIONS

[Andreas Thums <thums@informatik.uni-augsburg.de>]

Apologies if you receive multiple copies of this message

-------------------------------------------------------------

FREE POSSISION in SAFETY ANALYSIS of SPECIFICATIONS
(OPEN IMMEDIATELY)

The department of Software Techniques and Programming Languages at the
University of Augsburg (Germany) offers a full time position (BAT
II/a) as a

RESEARCH SCIENTIST

with the opportunity to earn a doctorate.

QUALIFICATIONS: Candidates for this position must have a
Diploma/Master degree in computer science, or in a area related with
system safety analysis. Knowledge of various software specification
techniques, preferably formal ones, or different safety analysis
techniques are required.

DUTIES: Development of an integrated approach for safety analysis of
formal software/system specification. You will work in a running
project (FORMOSA: http://www.informatik.uni-augsburg.de/swt/formosa)
sponsored by the german resarch foundation (DFG: Deutsche
Forschungsgemeinschaft).

DURATION: Two years, with the possibility of additional two years.

APPLICATION: Qualified applicants should send (by e-mail or in hard
copy) a detailed curriculum vitae, a statement of the main focus in
education and research interests and a list of publications to:

Prof. Dr. W. Reif
Universität Augsburg
Institut für Informatik
Lehrstuhl Softwaretechnik und Programmiersprachen
Universitätsstraße 14
D-86135 Augsburg
Germany

E-mail: reif@informatik.uni-augsburg.de
Fax: ++49-821-598-2184
-- 

    \\|//
   -(@ @)-
oOO==(_)==OOo=============================================
             
Andreas Thums

Lehrstuhl fuer Softwaretechnik   Zimmer : 2031
und Programmiersprachen
Institut fuer Informatik         Telefon: +49-821-598-2176
Universitaet Augsburg            Fax    : +49-821-598-2474
D-86135 Augsburg
        
=====e-mail: andreas.thums@informatik.uni-augsburg.de=====