Within the French project “DCore – Causal Debugging for Concurrent Systems”, INRIA Grenoble is offering a fully funded PhD thesis on “Abstractions for causal analysis and explanations in concurrent programs: theory and application to Erlang”. Candidates should have a good background in formal methods. Good programming skills are required. The…
University of Twente Formal Methods and Tools (FMT) Contact: Prof.Dr. Marieke Huisman (m.huisman@utwente.nl) Eindhoven University of Technology Software Engineering & Technology (SET) Contact: Dr. Ing. Anton Wijs (a.j.wijs@tue.nl) JOB DESCRIPTION We are seeking two PhD students to work on the ChEOPS project, a collaborative project between the universities of Twente…
The Technical Faculty of IT and Design, Department of Computer Science, Aalborg University, Denmark announce one or more PhD stipends are available within the general study programme Computer Science and part of the ERC Advanced Grant LASSO (Learning, analysis, synthesis and optimization of CPS). The stipends are open for appointment…
Within the French project “DCore – Causal Debugging for Concurrent Systems” we are looking for a highly motivated PhD student. The first goal of the thesis is to investigate the use of abstractions for the construction of causal explanations. During the last couple of years, several approaches have been proposed…
2 PhDs + 1 Postdoc in Aarhus University on “Algorithmic Verification and Synthesis for Concurrency” Since I am starting a new research team at the Computer Science Department at Aarhus University, I am looking for 2 PhD students (fully paid, 3 years) and 1 Postdoc researcher (2 years). The…
Applications are invited for a doctoral project on the elaboration of a logical framework to verify requirements of hybrid system models. The goal of this project is to build cyber-physical systems with a correct-by-construction approach in order to verify requirements against both digital and physical aspects of such designs. Our…
Fewer train delays and rail disruptions? Come join us to improve the quality of the design and implementation of railroad elements (e.g. interlockings and signalling systems), via model checking and model-based testing. The University of Twente seeks a PhD candidate on the FormaSig project, a collaboration between Eindhoven University of…
Postdoc Position in Formal Synthesis for Robotics at KTH Royal Institute of Technology We are looking for a postdoctoral researcher for a project that brings together Formal Methods and Human-Robot Interaction with the goal of moving from conventional correct-by-design control with simple, static human models towards the synthesis of correct-by-design…
Applications are invited for a doctoral project on the elaboration of a logical framework to verify requirements of hybrid system models. The goal of this project is to build cyber-physical systems with a correct-by-construction approach in order to verify requirements against both cyber and physical aspects of such designs. Our…
ASSOCIATE PROFESSORSHIP AT AALBORG UNIVERSITY At the Technical Faculty of IT and Design, Department of Computer Science, an Associate Professorship in Computer Science is open for appointment starting August 1, 2019 or soon thereafter. The position is enabled by a generous grant from the Poul Due Jensen Foundation and supports…
