[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 

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