logo

You are here

Home » Job Opportunities

Job Opportunities

Documents: 
Plain text icon PhD Call Position

We are currently seeking several candidates for PhD positions
(see attached document - contact person Alessandro Cimatti).

We are also seeking post-doc researchers in the following areas:
  1. formal methods, model checking, temporal logics, model-based safety analysis, contract-based design, model-based diagnosis and diagnosability, runtime verification, automated test case generation
  2. model-based system engineering, architecture description languages (sysml, aadl, etc), integration of model-based design and formal methods, model-based code generation
  3. 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)

NEW! Post-doc position on Model based design of complex systems (April 30) - contact Stefano Tonetta
https://jobs.fbk.eu/Annunci/Jobs_A_researcher_on_Model_Based_Design_of_C...