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

Ph.D. funding available at Univ. Grenoble Alpes / Verimag (France)

h.D. funding available at Univ. Grenoble Alpes / Verimag (France) Supervisors: Saddek Bensalem and Yliès Falcone, Univ. Grenoble Alpes (emails: Saddek.Bensalem@univ-grenoble-alpes.fr <mailto:Saddek.Bensalem@univ-grenoble-alpes.fr> and Ylies.Falcone@univ-grenoble-alpes.fr <mailto:Ylies.Falcone@univ-grenoble-alpes.fr>) This thesis aims at complementing rigorous system design with runtime verification techniques for cyber-physical systems (CPSs). In particular, we are interested in the following important…

Continue reading

PhD Position at CNRS – Paris Saclay

PhD Position: Efficient synthesis of controllers using symbolic models Context and Objectives Cyber-physical systems (CPS) consist of computational elements monitoring and controlling physical entities. The main objective of the PROCSYS project is to propose a general framework for the design of programmable CPS that will allow engineers to develop advanced…

Continue reading

PhD Position in Trento on “Quantum Annealing for SAT Solving”

One PhD Student Position in Information and Communication Technologies on the research project “Quantum Annealing for SAT Solving (QUASI)” is available at the International Doctorate School in Information and Communication Technologies (http://www.ict.unitn.it/) of the University of Trento, Italy, under the supervision of Prof. Roberto Sebastiani, DISI, University of Trento, sponsored…

Continue reading