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

PhD position on program analysis and specification – Oct 2018 (Imperial College, UK)

Professor Philippa Gardner is looking for a PhD student, start date in October 2018, to join her research group on program analysis and specification (https://psvg.doc.ic.ac.uk), as part of the analysis and verification theme at Imperial ( http://www.imperial.ac.uk/computing/research/analysis-and-verification/). The group is involved with a wide range of theoretical and practical projects…

Continue reading

Post-doctoral (or pre-doct.) position at Imperial College (London, UK)

Cristian Cadar and I are looking to hire a postdoctoral researcher* for a position on a new EPSRC grant about detecting and surviving /exploitable compiler bugs /(http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/R011605/1) – bugs in compilers whose presence can render an otherwise reliable piece of software vulnerable to attack. The project features collaboration with Codeplay…

Continue reading