We are currently seeking 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)
If you are interested in working on these topics, please contact