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.

<br>
<br>

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.

<br>
<br>

The ideal candidate has

<ol>
<li>strong background in
<ul>
<li>programming languages and compilers.</li>
<li>type systems.</li></ul></li>

<li>knowledge in
<ul>
<li>distributed systems and networks.</li>
<li>dependability.</li></ul></li>

</ol>
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.
<br>
<br>

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

Candidates are requested to submit their applications via email to <a href="mailto:eugstp@usi.ch" target="_top">eugstp@usi.ch</a>; 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.