[TYPES/announce] 2 postdoc positions in distributed systems verification at University of Lugano and TU Darmstadt

[Eugster Patrick Thomas]

We are seeking qualified candidates for two researcher positions at the postdoctoral level for a project between the University of Lugano (USI) and TU Darmstadt (TUDA), performed in close collaboration with Purdue University. There is a position available at each USI and TUDA.

The LiveSoft project is centered on static verification of dependable distributed systems and is funded by a European Research Council (ERC) grant. Some representative publications can be found at http://www.inf.usi.ch/faculty/eugstp/LiveSoft/ .



The support is for 2 years each. Extensions are possible. Official start is ASAP. Salaries are highly competitive (starting at ~80K CHF yearly gross for USI and ~48K EUR for TUDA).

USI: one of the very top CS departments in Switzerland in one of most beautiful locations in the country. With its own domestic airport as well as being 60mins drive from Milano airport, Lugano is very well connected.

TUDA: one of the very top CS departments in Germany only 30 minutes by bus directly from Frankfurt international airport, it is easy to reach from abroad, as well as from its famous surroundings, e.g., 30 minutes by train from Heidelberg and Frankfurt, 2.5 hours from Freiburg.



The ideal candidate has strong background in programming languages theory and type systems, and knowledge of distributed systems.

Background must be demonstrated by a Ph.D. completed (or close to completion) in a relevant area, and publications in top tier venues.

In addition applicants must be proficient in spoken and written scientific English, have excellent communication skills, be creative, and possess leadership qualities.

Candidates are requested to submit their applications via email to eugstp at usi.ch<mailto:eugstp at usi.ch>. Applications must include a 1-page research summary, CV, and the names of 3 references. Screening will start immediately and continue until positions are filled.


p@


Patrick Eugster

Professor of Computer Science, University of Lugano
Adjunct Professor TU Darmstadt and Purdue University
http://www.inf.usi.ch/faculty/eugstp/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180117/5e34b390/attachment.html>