[loginf] Short term postdoc (<=9 months) at LMU Munich in type-based analysis

Martin Hofmann hofmann at ifi.lmu.de
Wed Mar 21 14:49:34 UTC 2012


 We are looking for a

 Postdoctoral researcher in programming language theory for up to nine 
 months

 to work within a DFG-sponsored project. Concretely, an
 existing type-based analysis for the enforcement of a secure coding
 guideline
 (published at
 http://www2.tcs.ifi.lmu.de/~grabow/papers/grabowskietal2011_securecodingguidelines.pdf)
 should be extended to arbitrary guidelines specified by Buchi
 automata.

 The successful candidate should have a solid background in program
 analysis ideally but not necessarily with type systems.

 Given the short duration of the position we especially encourage
 applicants who can take a leave of absence from an existing
 position. In particular, applications from senior researchers,
 e.g. visiting scientists, are also welcome.

 Duration: up to nine months

 Start date: as soon as possible but not later than October 2012.

 Remuneration: German scale 13 TV-L (38k-54k EUR p.a. according to age,
 experience, family status)

 Principal investigator: Martin Hofmann

 Location: The project will be carried out at the Institute for
 Informatics of Ludwig-Maximilians-Universität Munich, Germany.
 LMU is an equal opportunities employer.

 Applications should be sent by E-Mail to Sigrid Roden
 roden at tcs.ifi.lmu.de as a single PDF file containing in particular CV
 and the names of two potential referees. There is no
 deadline. Applications will be assessed on an on-going basis until the
 position is filled.

 Questions about the position can be directed to the investigator
 mhofmann at tcs.ifi.lmu.de.



More information about the loginf mailing list