Job offers for HECS students
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…
The CONVECS team of INRIA and LIG proposes a position for a software engineer to help developing verification tools for asynchronous circuits and the Internet of Things: https://jobs.inria.fr/public/classic/fr/offres/2018-01030
Chalmers University of Technology in Gothenburg, Sweden invite applications for PhD positions in Programming Language Technology for Security and Privacy. We are looking for applicants with a technical background in the programming languages and systems research area, and who have a keen interest in applying and developing this technology to…
We have openings for PhD and Post-doc researchers in Prof. Sayan Mitra <http://mitras.ece.illinois.edu/pubs.html>’s lab at University of Illinois at Urbana-Champaign (UIUC). The projects are related to safe autonomy and security & privacy in controlled networks. Key requirement: ability to prove theorems, to program systems that prove theorems, and so on.…
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…
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…
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…
The Government of Estonia has allocated funds to create six new research groups in selected areas of ICT at the Tallinn U of Technology and U of Tartu during 2018-2022. One of these areas, to be hosted at the Tallinn U of Technology, is trustworthy software technologies. Specific topics of…
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…
For our 5-year research project (ERATO MMSD, Metamathematics for Systems Design) we are looking for – senior researchers and – postdocs together with research assistants (PhD students) and internship students. This broad project aims to extend the realm of formal methods from software to cyber-physical systems (CPS), with particular emphases…
