<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=utf-8"><meta name=Generator content="Microsoft Word 15 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Aptos;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Arial",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#467886;
text-decoration:underline;}
span.EmailStyle18
{mso-style-type:personal-compose;
font-family:"Arial",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.0pt;
mso-ligatures:none;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 2.0cm 70.85pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=EN-US link="#467886" vlink="#96607D" style='word-wrap:break-word'><div class=WordSection1><p class=MsoNormal><b>Assistant Professor (Tenure Track) of Theoretical Computer Science<o:p></o:p></b></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>The Department of Computer Science (www.inf.ethz.ch) at ETH Zurich invites applications for an assistant professorship (tenure track) in computer science with focus on Theoretical Computer Science including:<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>● Automated and Interactive Theorem Proving<o:p></o:p></p><p class=MsoNormal>● Logic<o:p></o:p></p><p class=MsoNormal>● SAT, SMT<o:p></o:p></p><p class=MsoNormal>● Semantics<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Applicants should be strongly rooted in computer science, have internationally recognized expertise in their field and pursue research at the forefront of computer science. Successful candidates should establish and lead a strong research program. They will be expected to supervise doctoral students and teach both undergraduate and graduate level courses (in German or in English). Collaboration in research and teaching is expected both within the department and with other groups of ETH Zurich and related institutions.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>Assistant professorships have been established to promote the careers of younger scientists. ETH Zurich implements a tenure track system equivalent to that of other top international universities.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal>ETH Zurich is an equal opportunity and family-friendly employer, values diversity, and is responsive to the needs of dual-career couples.<o:p></o:p></p><p class=MsoNormal><o:p> </o:p></p><p class=MsoNormal><b>Please apply online at: <a href="http://www.facultyaffairs.ethz.ch">www.facultyaffairs.ethz.ch</a></b><b> <o:p></o:p></b></p><p class=MsoNormal><b><o:p> </o:p></b></p><p class=MsoNormal><a name="_Hlk178678926">Applications should include a curriculum vitae, a list of publications with the three most important ones marked, a statement of future research and teaching interests, a description of the leadership philosophy, a description of the three most important achievements, the names of three references, and a certificate of the highest degree. The letter of application should be addressed <b>to the President of ETH Zurich, Prof. Dr. Joël Mesot. The review of applications will begin in January 2025; we recommend submitting your application no later than 15 January 2025.</b></a><b><o:p></o:p></b></p></div></body></html>