Job descriptions are available in English and French. As long as the position is posted is available unless otherwise specified.

• no post-doc position opened at this time but don't hesitate to contact us.

• no phd position opened at this time but don't hesitate to contact us.

All the interships are opened to M1, M2 students and L3 for magister. Obviously, expectations are lower for M1 and L3 students.

1. Application of automated planning to industrial production management
2. Supervision of autonomous robotic systems based on SAT and SMT solvers
3. Engineering Safe AI Models with Dependently Typed Languages
4. Using Generative AI to generate action plans for autonomous systems