[loginf] research position at the University of Munich
Martin Lange
mlange at tcs.ifi.lmu.de
Wed Sep 21 13:00:31 CEST 2005
A position for a researcher is available within the project
Verification of Non-Regular Properties
at the chair for Theoretical Computer Science (headed by Prof. Dr. Martin
Hofmann) of the Department for Computer Science, University of Munich.
The position is funded by the Deutsche Forschungsgemeinschaft (DFG) for
two years with the possibility to extend it for a third year. It can be
filled both at the post-doc or PhD student level. The salary is paid
according to German pay scale BAT IIa, roughly amounting to EUR 1700 net
per month but depending on age, marital status, etc. Knowledge of the
German language is not a prerequisite for this position.
The aim of this project is to investigate expressive temporal logics
w.r.t. to their complexities, relationships, etc. as well as their use in
verification, mainly through model checking.
The city of Munich provides high living standards for international
residents. It currently ranks among the top ten places in the world to
live.
In order to apply please send details (CV, list of publications, short
letter of intent; preferably by email) to the project leader Dr. Martin
Lange, "Martin" dot "Lange" at "ifi" dot "lmu" dot "de" by 31/10/2005.
For further particulars regarding the position/project please do not
hesitate to get in touch via the above email address or phone
+49 89 2180 9313.
------------------------------------------------------------------
Martin Lange tel: +49/0 89 2180 9313
Institut fuer Informatik fax: +49/0 89 2180 9338
LMU Munich http://www.tcs.ifi.lmu.de/~mlange
More information about the loginf
mailing list