There is no particular deadline. We are recruiting year round depending on availability.

Bachelor and Master theses (for ETH students) on various topics are usually available. Usually we do not keep an extensive list but design on demand depending on the profile of the student. There should be an interest in one of our research threads (see our research, publications and the list below). Just send me an email with a course transcript.

Some concrete Master thesis projects

  • Compiler Integration for Sound Floating-Point

  • Transform-based Neural Networks Robustness

  • Machine Learning-based Compiler Flag Optimization

  • Machine Learning-based Algorithm Configuration

PhD applicants:

Right now my group is rather complete, but you can submit your application to our online application system and drop me an email.

Postdoc applications:

Right now my group is rather complete, but you can contact me by email with a complete CV and an explanation of how you see your interests connect with our research.