Jobs – Page 9 – High-confidence Embedded and Cyberphysical Systems (HECS)

Research officer in theoretical foundations of cyber security at Swansea University

garavel 2017/03/03 2017/03/03Jobs

Research officer in theoretical foundations of cyber security at Swansea University Duration: 3 years Available now Application deadline: 24.2.17 URL: http://www.jobs.ac.uk/job/AWX894/research-assistant-officer-in-theoretical-computer-science-theory-of-security/ Within an EPSRC funded project, we have a research position that offers an opportunity to undertake research in the broad area of Trust, Identity, Privacy and Security. To this…

Open PhD position in Pesto team at Inria (Nancy, France)

garavel 2017/02/06 2017/02/06Jobs

The PESTO Team at INRIA Nancy-Grand Est aims at building formal models and techniques for computer-aided analysis and design of security protocols. We have an open Ph.D. research position and are looking for an enthusiastic Ph.D. candidate to work on the SAPIC/Tamarin security protocol verification tool chain. Possible projects include…

PhD Student positions in Cyber-physical Systems (Australian National University)

garavel 2017/01/31 2017/01/31Jobs

PhD Student positions in Cyber-physical Systems/Artificial Intelligence/Systems Biology at Cyber-Physical Systems Laboratory Research School of Computer Science College of Engineering and Computer Science Australian National University Cyber-Physical Systems Laboratory led by Dr Sergiy Bogomolov is seeking applications for multiple research positions as PhD students to work on a range of…

Research Positions at Galois (Portland and Arlington, USA)

garavel 2017/01/31 2017/01/31Jobs

Message from Eddy Westbrook: Galois is hiring! We’re looking for researchers, principal investigators, software engineers, and project leads, including those with expertise in functional programming, formal methods, machine learning, embedded systems, computer security, or networking. We have two offices: one in Portland, OR, and one in Arlington, VA and positions…

Multiple Research Positions, IMDEA Software Institute, Madrid, Spain

garavel 2017/01/30 2017/01/30Jobs

Message from Aleksandar Nanevski: Applications are invited for multiple positions (PhD/Postdoc/Scientific Programmer) at the IMDEA Software Institute, Madrid, Spain. The positions are available from April 2017. The successful candidate will work under the supervision of Aleks Nanevski (http://software.imdea.org/~aleks/). The topic of the research, to be determined based on the common…

Postdoc positions for ERC “RustBelt” project (Saarbrücken, Germany)

garavel 2017/01/30 2017/01/30Jobs

Message from Derek Dreyer: I am pleased to announce the availability of 2 postdoc positions for the project “RustBelt: Logical Foundations for the Future of Safe Systems Programming”, funded by a 2015 ERC Consolidator Grant. http://plv.mpi-sws.org/rustbelt This 5-year project concerns the development of rigorous formal foundations for the Rust programming…

Engineer: DSL for Medical Cyberphysical Systems (LIG, Grenoble)

garavel 2017/01/30 2017/01/30Jobs

In French: L’équipe VASCO du LIG recherche un ingénieur informaticien pour la conception et le développement desoutils du projet ANR MODMED. Ce projet définit un DSL (Domain Specific Language) de spécification de tracesadapté aux Systèmes Cyber-Physiques Médicaux. Le poste est vacant et à pourvoir dès que possible pour une durée…

Postdoc position in the area of formal verification, London, UK

garavel 2016/12/27 2016/12/27Jobs

Applications are invited for a Postdoctoral Research Fellow position working on formal verification. The work is being funded by EPSRC. The aim of the project is to carry out perturbation analysis for quantitative verification, i.e., (1) to analyse how the verification result is affected by the perturbation of parameters and…

Research Posts – Dept of Computer Science, Univ. of Cyprus

garavel 2016/12/26 2016/12/26Jobs

Department of Computer Science University of Cyprus http://www.cs.ucy.ac.cy/~george/lm/lm.php?tk=aHViZXJ0LmdhcmF2ZWwJCQlodWJlcnQuZ2FyYXZlbEBpbnJpYWxwZXMuZnIJVmFjYW5jaWVzIGZvciBSZXNlYXJjaCBQb3N0cyAtIERlcGFydG1lbnQgb2YgQ29tcHV0ZXIgU2NpZW5jZSwgVW5pdmVyc2l0eSBvZiBDeXBydXMJNAlEaXN0cmlidXRlCTEwODI0CWNsaWNrCXllcwlubw==&url=https%3A%2F%2Fwww.cs.ucy.ac.cy%2Findex.php%2Fnews%2Fjobs A number of vacancies for research posts exist in the Department of Computer Science, University of Cyprus. The location for all posts is Nicosia, Cyprus. Each post has different application deadlines and contact information. Title: Special Scientists Positions (Post-doctoral) No. of Position(s):…

The University of Twente seeks 2 PhD candidates

garavel 2016/12/23 2016/12/23Jobs

Fewer train delays via big data analytics, fault trees, and stochastic model checking? The University of Twente seeks two excellent PhD candidates to work on the SEQUOIA project. We aim to improve the reliability of the (Dutch) railroads by deploying big data analytics to predict and prevent failures. Its scientific…