~~NOTOC~~
====== Job Opportunities ======

Job descriptions are available in English and French. As long as the position is posted is available unless otherwise specified.
==== Post-doc Positions ====

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

  - {{ :jobs:htn_phd.pdf |PhD. position: Mission planning for a fleet of autonomous robots}}
  - {{ :jobs:phd._planification_production_prod4human.pdf |PhD. position: Application of automated planning to industrial production management}} 

==== Master and Magister Research Internships  ====

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

  - {{ :jobs:m2r_planification_production.pdf |Application of automated planning to industrial production management}} 
  - {{ :jobs:m2r_supervision_robots_sat_smt.pdf  |Supervision of autonomous robotic systems based on SAT and SMT solvers}}
  - {{ :jobs:safe_planning_domain_models_in_idris.pdf |Engineering Safe AI Models with Dependently Typed Languages}}
  - {{ :jobs:m2r_ai_planning_with_generative_ai.pdf |Using Generative AI to generate action plans for autonomous systems}}