Assistenzprofessur (Tenure Track) für 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.
*Die ETH Zürich legt Wert auf eine qualitative Bewertung akademischer Leistungen. In diesem Sinne sind Sie gebeten, eine kurze Beschreibung Ihrer drei wichtigsten Errungenschaften den Unterlagen beizufügen (maximal je eine halbe Seite). Dies können neben Forschungsergebnissen auch besondere Leistungen in der Lehre und deren Weiterentwicklung, Dienstleistungen zugunsten der akademischen Gemeinschaft oder der Gesellschaft, Softwareentwicklungen, Patente, Wissens- und Praxistransfer, Spin-offs und dergleichen sein.