(Apologies for cross posting.)
we are seeking qualified candidates for two researcher positions at the postdoctoral level for a project conducted at the University of Lugano, Switzerland, in close collaboration with TU Darmstadt and Purdue University.
The project is centered on dependable distributed systems and software verification and is funded by a European Research Council (ERC) grant. The support is for 2 years each. Extensions are possible. Official start is ASAP. Salaries are very competitive.
The ideal candidate has
1. strong background in
- programming languages and compilers.
- type systems.
2. knowledge in
- distributed systems and networks.
Candidates with strong background in 2. and knowledge in 1. may also be considered. 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 [log in to unmask]; 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.
Professor of Computer Science, University of Lugano (USI)
Adjunct Professor Purdue University and TU Darmstadt