You are here
We are currently seeking several candidates for PhD positions
(see attached document - contact person Alessandro Cimatti).
- 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)
NEW! Post-doc position on Model based design of complex systems (April 30) - contact Stefano Tonetta