Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

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 .

Please note that this newsitem has been archived, and may contain outdated information or links.