Assistant Professor (Tenure Track) of Theoretical Computer Science
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:
● 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.
*ETH Zurich emphasizes qualitative assessment of academic accomplishments. This is why you are kindly asked to submit a short description of your three most important achievements (maximum a half page each; no more than two pages each in case of images). Besides research findings and buildings, these could also be extraordinary achievements in teaching and its further development, services in the benefit of the academic community or society, software development, patents, knowledge transfer and its practical application, spin-off companies or similar.