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
======================================================================= Vacancies for doctoral researchers in the postgraduate program “Uncertainty and Randomness in Algorithms, Verification and Logic” at RWTH Aachen University, Aachen, Germany ======================================================================= Context. The RWTH Aachen University is looking for enthusiastic and highly qualified doctoral researchers. Several positions are available within the interdisciplinary Research Training Group (RTG) UnRAVeL…
Cristian Cadar and I are hiring for two postdoc positions on a new project, /Automatically Detecting and Surviving Exploitable Compiler Bugs. /The research will focus on understanding the extent to which compiler bugs — where a compiler silently emits incorrect code — are a threat to the reliability and security…
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…
Post-Doc Position at the Tempo group at VERIMAG, Grenoble, France Topic: The Application of Signal Temporal Logic (STL) to monitoring, verification, falsification, and data-mining of vehicle behavior. Responsibles: Oded Maler (Tempo, VERIMAG), , Thao Dang (Tempo, VERIMAG), Eric Gaussier (AMA, LIG) Duration: 2 years starting around January 1st 2018 (with…
A PhD position in the area of “Formal Methods for Requirements Validation of Resilient Systems” is available in the Embedded Systems Research Unit (ES) at Bruno Kessler Foundation (FBK), Center for Information Technology. FBK is a private research institution based in Trento (Italy) and operating in different scientific fields and…
For our 5-year research project (ERATO MMSD, Metamathematics for Systems Design) we are looking for senior researchers and postdocs (10+ positions in total and several are still open), together with research assistants (PhD students) and internship students. This broad project aims to extend the realm of formal methods from software…
