Our Verification and Formal Guarantees of Artificial Intelligence working group is looking for two student assistants on a mini-job basis. The working hours are flexible, and the main activity is to support the research projects.

What we are working on:

  • Exploring security properties of AI methods such as reinforcement learning, anomaly detection, (graph) neural networks, and many more.
  • Utilizing methods like linear programming or abstract interpretation as a basis for proof.
  • Implementation of practically useful tools and frameworks within the scope of our research activities.
  • Developing new exciting research questions.

What we offer:

  • Exciting tasks and experiences to solve the challenges of tomorrow.
  • No pressure and a lot of flexibility, so you can easily balance your part-time job and your studies.
  • Very good working atmosphere and error culture with flat hierarchies.
  • Compensation according to university standards.

You should ...

  • have a background in CS, mathematics, or a related field and be in your Bachelor's or Master's degree.
  • be self-reliant.

Ideally, you ...

  • have interest and enjoy formal methods, proofs, or some of the aforementioned AI methods
  • some programming experience, ideally Python.


Knowing German is not a must!

A tailored cover letter for the position is not mandatory but highly recommended both for you to reflect on whether the position aligns with your own goals and interests, and for us to get to know you better in advance.

More information about our working group here.

You can send your application documents including a transcript as PDF files to Professor Daniel Neider:

We are looking forward to receiving your application!


  • Open Position
Scroll To Top