[TYPES/announce] Research and teaching assistant in Logic and Semantics at LMU Munich

2013-10-16 Thread Martin Hofmann
oing basis until the position is filled. Questions about the position can be directed to Martin Hofmann (hofm...@ifi.lmu.de). Prof. Martin Hofmann Institut fuer Informatik der Ludwig-Maximilians-Universitaet Muenchen Lehr- und Forschungseinheit fuer Theoretische Informatik

[TYPES/announce] Postdoc in Munich (LMU) in programming language theory (secure coding) for 36 months

2014-06-21 Thread Martin Hofmann
sible to base a PhD thesis on the project work. Duration: up to 36 months Start date: as soon as possible but not later than October 2014. Remuneration: German scale 13 TV-L (38k-54k EUR p.a. according to age, experience, family status) Principal investigator: Martin Hofmann Location: The pr

[TYPES/announce] 3 years research assistant position in TCS, LMU Munich

2010-11-03 Thread Martin Hofmann
) Investigators: Martin Hofmann and Ulrich Schöpp Duration: 36 months Start date: as soon as possible but not later than June 2011. Remuneration: German scale 13 TV-L (38k-54k EUR according to age, experience, family status) Background: PhD in theoretical informatics with some topical overlap, see project