Postdoc position in formal synthesis for robotics at KTH

Postdoc Position in Formal Synthesis for Robotics at KTH Royal Institute of Technology We are looking for a postdoctoral researcher for a project that brings together Formal Methods and Human-Robot Interaction with the goal of moving from conventional correct-by-design control with simple, static human models towards the synthesis of correct-by-design…

Continue reading

PhD offer at Inria Rennes, France

Applications are invited for a doctoral project on the elaboration of a logical framework to verify requirements of hybrid system models. The goal of this project is to build cyber-physical systems with a correct-by-construction approach in order to verify requirements against both cyber and physical aspects of such designs. Our…

Continue reading

University of Luxembourg – 2 open PhD positions

The Interdisciplinary Centre for Security, Reliability and Trust of the University of Luxembourg has obtained a large grant from the European Union devoted to fund two PhD positions: PhD position #1: Title: Security and privacy of resource constrained devices Objectives: Recent hackers’ attacks have shown the vulnerability of Internet-of-Things (IoT)…

Continue reading

PhD students and post-docs docs at ETH Zurich

The Chairs of Information Security<http://www.infsec.ethz.ch/> and Programming Methodology<http://www.pm.inf.ethz.ch> at ETH Zurich are recruiting PhD students and post-docs docs for a project on formal verification of secure networked systems. The project’s focus will be on verifying the protocols and implementation for a secure Future Internet architecture<https://www.scion-architecture.net/>. Details are available online here…

Continue reading