You are here
We have currently open various positions as post-doc as well as programmer and PhD candidates.
Researcher on Formal Verification of Complex Control Systems
The open research position is in the field formal verification of complex control systems. The expected activities include the development of formal verification techniques and their integration in model-based design environments; model checking of control systems and their interaction with hybrid models of the physical plants; contract-based compositional reasoning; model-based safety analysis, fault detection and diagnosis; software development for tools such as nuXmv, OCRA, xSAP, Kratos, COMPASS, and TASTE; training support, and document generation for technology transfer.
Deadline (April 21, 2021) - contact Stefano Tonetta
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)