<html><body>
<p><font size="3" face="serif">The newly formed Software Reliability Lab (SRL) at ETH Zurich is recruiting PhD students and postdocs to do research in (one or more of) the following areas: </font><br>

<ul type="disc" style="padding-left: 36pt">
<li><font size="3" face="serif">Static and dynamic program analysis </font>
<li><font size="3" face="serif">Synthesis and verification of concurrent programs </font>
<li><font size="3" face="serif">Programming languages </font></ul>
<br>
<font size="3" face="serif">More information about our research can be found at: </font><a href="http://www.srl.inf.ethz.ch/research.php"><font size="3" color="#0000FF" face="serif"><u>http://www.srl.inf.ethz.ch/research.php</u></font></a><font size="3" face="serif">&nbsp;</font>
<p><font size="3" face="serif"><b>Key requirements</b></font><font size="3" face="serif">&nbsp;for successful applicants: </font>
<ul type="disc" style="padding-left: 36pt">
<li><font size="3" face="serif">Strong interest and commitment to research </font>
<li><font size="3" face="serif">Interest in combining theory and practice </font>
<li><font size="3" face="serif">Competency in English </font>
<li><font size="3" face="serif">For PhD: Excellent B.Sc. or M.Sc. degree in Computer Science (or related) <br>
For postdoc: PhD degree in Computer Science; publications in international venues </font></ul>
<br>
<font size="3" face="serif"><b>Applications and questions </b></font><font size="3" face="serif">should be sent to Prof. Dr. Martin Vechev at: </font><a href="mailto:jobs-srl@inf.ethz.ch"><font size="3" color="#0000FF" face="serif"><u>jobs-srl@inf.ethz.ch</u></font></a><font size="3" face="serif">&nbsp;<br>
The application should include a CV and description of research interests. </font>
<p><font size="3" face="serif"><b>More details </b></font><font size="3" face="serif">about the positions: </font>
<ul type="disc" style="padding-left: 36pt">
<li><font size="3" face="serif">A PhD or a postdoc position is a regular job with attractive salary and social benefits. </font>
<li><font size="3" face="serif">A position is for a maximum of 6 years. </font>
<li><font size="3" face="serif">One of the top computer science departments in the world.</font>
<li><font size="3" face="serif">Zurich is consistently ranked among the top destinations in the world for quality of life. </font>
<li><font size="3" face="serif">General information on doctoral studies at ETH: </font><a href="http://www.ethz.ch/doctorate/index_EN"><font size="3" color="#0000FF" face="serif"><u>http://www.ethz.ch/doctorate/index_EN</u></font></a><font size="3" face="serif">&nbsp;</font></ul>
</body></html>