Site update
A dead link for the HECS-6 course was fixed (thanks to Pierre Boullier). Two new web pages for courses HECS-6 and HECS-8 have been added. More contents to come…
Author: garavel
IMPORTANT – HECS curriculum – 2018 Update
In order to enable sharing of HECS courses with other masters and engineering courses in Grenoble, each of the courses HECS-1, HECS-2, and HECS-3 have been divided into two parts, which can be taken together or separately. Also, the offer of optional courses has been extended by adding two courses…
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…
Open Positions in Tokyo: Formal Methods and Cyber-Physical Systems
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…
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…
Security Consultant in Formal Methods – Trusted Labs (Meudon, France)
Security Consultant Formal Methods – based in Meudon (mandatory) Trusted Labs is a global expert in security consulting and evaluation within the connected ecosystem and a world leader in security certification scheme definition. We have 16 year of expertise in securing and enhancing trust in the connect world and have…
Research engineer on time-predictable embedded systems (Toulouse, France)
Job title : Research engineer Department : Embedded systems Type of contract : Limited duration contract of 18 months (CDD) Place : Toulouse, France (IRT Saint Exupéry) Salary depending on past experience (minimum gross salary is 3.000 euros per month, which includes health coverage, unemployment, and retirement). 1. Context, role…
Postdoctoral position in Hybrid Systems at the Australian National University
Cyber-Physical Systems Laboratory led by Dr Sergiy Bogomolov is seeking applications for a postdoctoral position on the topic “Verification of Hybrid Systems”. The successful candidate will work on algorithms and techniques to support scalable verification of hybrid systems. Candidates working on adjacent topics, which contribute to the broad goal of…
PostDoc position on “Formal Synthesis of Complex Systems” (München, Germany)
The Hybrid Control Systems group in the Department of Electrical and Computer Engineering at Technical University of Munich announces an opening for a postdoctoral position on the topic of “Formal Synthesis of Complex Systems”. In particular, the main aim of this position is to propose novel methodologies for formal synthesis…
15 PhD positions and 1 postdoc in FORA (European Network)
PhD/postdoc opportunities in the FORA European Training Network (4 universities and 3 companies from Sweden, Denmark, Austria and Germany) FORA: Fog Computing for Robotics and Industrial Automation (fora-etn.eu) is a European Training Network (ETN), which will fund and train 15 PhD candidates in the area of Fog Computing, during the…
