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…
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…
A new “projects” page has been added, which lists the master projects performed by the HECS students. This page can be accessed from the “Research” menu of the site.
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…
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…
2 Lecturer Positions in Model-Driven Systems Engineering University of Leicester College of Science and Engineering Department of Informatics http://bit.ly/2LecturersLeicester Salary Grade 8 – £38,183 to £46,924 per annum ******************************************************************** Together our staff and students are discovering innovative ways to change the world for the better and there has never been…
The “alumni” page was created and more “jobs offers” have been added.
IRT Saint-Exupéry and the CONVECS team of Inria and LIG are recruiting a post-doc to work on the “Evaluation and formal verification of concurrent architectures” for next-generation airplanes. English version: http://convecs.inria.fr/jobs/2017b.html French version: http://www.irt-saintexupery.com/job-offers/ingenieur-de-recherche-evaluation-et-verification-formelle-darchitectures-concurrentes-hf/
The Institute of Software Engineering and Programming Languages (ISP), University of Lübeck, is currently looking for two postdoc positions in the area of Formal Verification/Software Engineering in the context of two research projects with industrial partners. Research topics include, but are not limited to: – Research on Formal Methods with…
The Institute of Software Engineering and Programming Languages (ISP), University of Lübeck, is currently looking for talented PhD students with a particular focus on Formal Verification/Software Engineering in the context of two research projects with industrial partners. Research topics include, but are not limited to: – Research on Formal Methods…
