Category: Jobs

======================================================================= 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…

Continue reading

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…

Continue reading

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…

Continue reading

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…

Continue reading

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…

Continue reading

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…

Continue reading

Within the Inria project lab HAC SPECIS [1], we offer a post-doctoral position on statistical verification of distributed programs, integrated in the SimGrid platform [2]. Important dates: • start of post-doctoral position: between November 1, 2017 and January 1, 2018 (somewhat flexible), • duration: 18 months (somewhat flexible), • deadline…

Continue reading

Details of all available positions are also provided here: https://sudiptac.bitbucket.io/projects/project_ermine.html I have immediate openings to host four (4) post-doctoral researchers. Post-doctors are required to have a PhD degree (or soon to be awarded) in computer science, computer engineering or related fields. All positions are available immediately. The project investigates systematic…

Continue reading

The Hybrid Control Systems group at Kansas State University (KSU) seeks postdoctoral fellows and/or doctoral candidates in the area of formal analysis and design of cyber-physical systems to conduct research in the following projects: 1. Robust Verification of Cyber-Physical Systems (Sponsored by an NSF CAREER Award): The project consists of…

Continue reading

The Faculty of Science, Leiden Institute for Advanced Computer Science is looking for a: PHD candidate, Correct Parallel Algorithms Key responsibilities This project aims at creating a framework for the rapid development of correct Parallel Algorithms through the use of Computer-Aided Verification. Our research agenda includes: – Derive novel parallel…

Continue reading