A research position in the field of planning and scheduling for digital industry
Fondazione Bruno Kessler
- Povo, Trento
- 36.200-41.400 € all'anno
- Contratto
- Full time
- Master degree in computer science, mathematics, electronic engineering or related disciplines - the degrees must be obtained by the start date of the FBK contract;
- Software development skills (preferably in Python and/or C++ and/or Rust);
- Ability to carry out an independent research program;
- Ability to work in a collaborative environment and deliver in research and/or industrial projects;
- Accuracy, proactivity and goal orientation;
- Oral and written proficiency in English.
- PhD in computer science, mathematics or electronic engineering or equivalent 3yrs research experience;
- Automated Planning (e.g. PDDL planners);
- Scheduling/Constraint Programming/Mixed Integer Linear Programming;
- Robotic deliberation and execution;
- Runtime verification and model-based diagnosis;
- Model Checking or other formal verification techniques.
- Detailed CV with Research Statement
- Motivation letter