[loginf] open position

Prof. Dr. Peter H. Schmitt pschmitt at ira.uka.de
Fri Mar 24 12:05:38 CET 2006

Fakultät für Informatik
Universität Karlsruhe
-------------- next part --------------
                   OPEN RESEARCH POSITION

The Institute for Theoretical Computer Science at the Department
of Computer Science, Universität Karlsruhe, Germany invites applications
for a research position in the area of

       probibilistic model checking and its applications.

Applicants should have an excellent background in the area of model
checking, preferrably they should also be familiar in theory and practice 
with probabilistic model checking. They should be equally interested
in advancing the theory in this fields and in developing applications
and they should, above all, enjoy working in a team.

The position is available within the joint research project
"ZeuS" (Zuverlässige Informationsverarbeitung in energie­bewussten 
ubiquitären Systemen. Dependable information processing in 
low-energy ubiquitous systems) between the universities Karlsruhe and 
Mannheim. The position offers the possibility to complete a PhD (or rather 
its German equivalent). 
Payment is according to the German BAT IIa tariff.
The position can be filled immediately.

Applications should be send electronically to

Prof.Dr.Peter H. Schmitt
pschmitt at ira.uka.de

More information about the loginf mailing list