Job offers for HECS students
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…
Non-Zero Sum Game Graphs: Applications to Reactive Synthesis and Beyond (5 years FWB ARC research project, 2016-2021) VERILEARN: Verifying Learning Artificial Intelligence Systems (4 years Excellent of Science project, 2018-2021) in collaboration with KULeuven and U Namur Subgame perfection in graph games (4 years PDR FNRS project, 2018-2021) in collaboration…
The Interdisciplinary Centre for Security, Reliability and Trust of the University of Luxembourg has obtained a large grant from the European Union devoted to fund two PhD positions: PhD position #1: Title: Security and privacy of resource constrained devices Objectives: Recent hackers’ attacks have shown the vulnerability of Internet-of-Things (IoT)…
