Differences

This shows you the differences between two versions of the page.

--- jobs [2019/11/07 07:41] – [Post-doc Positions] admin
+++ jobs [2024/07/17 20:28] (current) – [Master and Magister Research Internships] admin
@@ Line 5: / Line 5: @@
 ==== Post-doc Positions ====
+  - no post-doc position opened at this time but don't hesitate to contact us.
 ==== PhD. Positions ====
-  - {{ :jobs:phd_planification_production.pdf |PhD. position: Application of automated planning to industrial production management}}
+  - {{ :jobs:htn_phd.pdf |PhD. position: Mission planning for a fleet of autonomous robots}}
-  - {{ :jobs:phd_cognitive_robotics.pdf |PhD. position in Cognitive robotics and machine learning}}
+  - {{ :jobs:phd._planification_production_prod4human.pdf |PhD. position: Application of automated planning to industrial production management}}
-==== Master 2 Research Internships  ====
-  - {{ :jobs:m2r_alphazero_plannification.pdf |Application of AlphaZero techniques to solve automated planning problems}}
+==== Master and Magister Research Internships  ====
-  - {{ :jobs:m2r_heuristics_for_hierarcical_task_network_planning.pdf |Heuristics for Hierachical Task Netwok Planning}}
-  - {{ :jobs:m2r_human_factors_adaptation_and_robotics.pdf |Detection and analysis of human reactions for the adaptation of cobot behaviour in an industrial environment}}
-  - {{ :jobs:m2r_learning_reflex_for_intelligent_robots.pdf |Learning reflex for intelligent robots}}
-  - {{ :jobs:m2r_planification_production.pdf |Application of automated planning to industrial production management}}
-  - {{ :jobs:m2r_safe_planning_domain_models.pdf |Engineering Safe AI Models with Dependently Typed Languages}}
+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}}