You are here
Job Opportunities
We have currently open various positions as post-doc as well as programmer and PhD candidates.
Software Developer on Automated Planning and Scheduling for Industrial Applications
Developer position to work in the European H2020 project AIPlan4EU on
- Automated Planning for space applications such as robotic exploration and satellite autonomy
- Automated Planning for the development of deliberation capabilities for state-of-the-art autonomous underwater vehicles
- Design and development of high-level APIs for Automated Temporal Planning
Go to the application page!
Deadline (January 19, 2021) - contact Andrea Micheli
Researcher on Formal Verification of Complex Safety Critical Systems
Post-doc position to work in the European ECSEL project VALU3S on
- Model checking of hybrid systems
- Model checking of control software
- Model-based safety analysis of autonomous systems
- Integration of model checking, testing, and runtime verification
- Application of formal methods to industrial case studies (avionic or agriculture domains)
Application page:
https://jobs.fbk.eu/Annunci/Jobs_Researcher_on_Formal_Verification_of_Co...
Deadline (January 15, 2021) - contact Stefano Tonetta
Programmer on Servitization of Model-Based Design
- servitization of FBK tools on Model-Based Design (MBD)
- supporting the adoption of MBD by SMEs
- OSLC-based specification of MBD tools interoperability
- development and maintenance of FBK tools on MBD
https://jobs.fbk.eu/Annunci/Jobs_Programmer_on_Servitization_of_Model_Ba...
Deadline (January 11, 2021) - contact Stefano Tonetta
Other opportunities
We are currently seeking several candidates for PhD positions
(see attached document - contact person Alessandro Cimatti).
We are also seeking other post-doc researchers in the following areas:
- formal methods, model checking, temporal logics, model-based safety analysis, contract-based design, model-based diagnosis and diagnosability, runtime verification, automated test case generation
- model-based system engineering, architecture description languages (sysml, aadl, etc), integration of model-based design and formal methods, model-based code generation
- planning and scheduling, planning with temporal uncertainty, planning and SMT, robotics architectures, deliberation for robotics, planning and learning, reinforcement learning, reasoning with temporal and resource uncertainty (e.g. dynamic controllability of STNU)