PhD student position and postdoc position in formal methods, Luebeck (Germany)

The Institute for Software Engineering and Programming Languages at the University of Lübeck offers openings for a PhD candidate and PostDoc in the area of "Runtime Verification for Service Oriented Architecture", in the new BMBF funded project: "Safe dynamic interconnection within the surgery room and clinic" (OR.NET).

Candidates must have a strong background in formal methods (e.g., runtime verification, model checking, formal semantics, automata theory, logic). Fluency in English is required; proficiency in German is helpful but not compulsory. A contribution to our teaching tasks is expected. Enrollment will be initially for one year with a possibility for extension after a positive one-year evaluation. Starting date of the positions: as soon as possible.

Deadline for application (extended): October 7, 2012. For more information, see http://www.isp.uni-luebeck.de/news/open-phd-and-postdoc-positions or contact Prof. Dr. Martin Leucker at leucker at isp.uni-luebeck.de.