Job offers for HECS students
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 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…
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…
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…
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…
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…
Post-doctorant sur le projet MODMED L’équipe VASCO du LIG recherche un post-doctorant pour la définition de mécanismes d’aide à la compréhension et à l’écriture de propriétés sur des traces. Ce poste est vacant et à pourvoir à partir de novembre 2017 pour une durée de 12 mois. Il prendra…
Project Title: Conquering MPSoC Complexity with Principles of a Self-Aware Information Processing Factory Host: Univ. of California, Irvine, Center for Embedded & Cyber-physical Systems, Irvine, CA, USA. Supervisor/Contact Person: Prof. Fadi Kurdahi (Kurdahi@uci.edu) Co-supervisor: Prof. Nikil Dutt (dutt@uci.edu). Requirements: Postdoc: PhD degree in CS, Computer Engineering or EE from a…
2 PhD positions at the Delft Center for Systems and Control at Delft University of Technology, the Netherlands funded through the ERC project SENTIENT (Scheduling of Event-Triggered Control Tasks). — Project description: The SENTIENT project will develop efficient scheduling methods for networked control systems, implemented in event-triggered form. The objective…
The CONVECS team of the LIG proposes a software engineer position on formal methods for the certification of circuits and components for the Internet of Things: http://convecs.inria.fr/jobs/securiot-EN.pdf Deadline for applying: October 31, 2017
