Open positions

We are looking for talented interns, PhD students and post-docs! Here are our current open offers:

If you think you will be a fit for our team but don’t find a specific offer, you can also reach out for a spontaneous application. We will gladly consider those as well.

Application modalities

Our field is at the crossroads of formal verification and artificial intelligence. As it is not realistic to be expert in both fields, we encourage candidates that do not meet the full qualification requirements to apply nonetheless. The candidate will be monitored by at least two research engineers of the team. If you are interested in this internship, please send by email to one of the person listed on the contact page an application containing:

Applications are welcomed until the position is filled. Please note that the administrative processing may take up to 3 months, so we strongly encourage you to apply diligently and answer as quick as possible when prompted with administrative documents.