You are here
We are currently seeking several candidates for PhD positions
(see attached document - contact person Alessandro Cimatti).
NEW! PhD positions in the Doctorate Program in Industrial Innovation with Bosch and Intecs (August 25) - contact Stefano Tonetta
- 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)