● Automated and Interactive Theorem Proving 

● Logic 

● SAT, SMT 

● Semantics 

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. 

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. 

ETH Zurich is an equal opportunity and family-friendly employer, values diversity, and is responsive to the needs of dual-career couples. 

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 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.