As the successful candidate, you will join the Security, Reasoning and Validation (SeRVal) group of the SnT, under the supervision of Dr. Maxime Cordy. You will contribute to research work in the area of Software Verification. Such research concerns the development of theories, techniques and tools to ensure that software systems behave according to their expected requirements. More specifically, the verification topics that may be explored include (but are not limited to):
- statistical model checking
- improving verification with deep learning
- completeness and consistency of formal specifications
- verification for variability-intensive software systems
- verification for cyber-physical systems
- verification for AI systems
The results of the project are expected to apply to multiple use cases, e.g., automotive systems, satellite, smart grids, smart factories, etc., in collaboration with partners of the group. Depending on your profile, the project can focus more on theory, development and/or applications. However, all three aspects are expected to be covered during the project.
The Supervision Team You Will Be Working With Is
- Maxime Cordy: supervisor
- Yves Le Traon: head of SerVal
You Will Be Required To Perform The Following Tasks
- Carrying out research in the predefined areas
- Disseminating results through scientific publications in top software engineering and formal methods venues
- Communicate with industry partners to collect requirements and report results
- Implement proof-of-concept software tools
- Prepare research proposals to acquire public fundings and/or industry partnerships
- Manage research projects and prepare project deliverables
- Provide guidance to PhD students working in the same area
For further information, please contact us at [email protected] or [email protected]
Similar Positions
-
Postdoc In E Xtended Reality (Xr) For Extending Human Abilities Dtu Health Tech, Technical University of Denmark, Denmark, 13 days ago
Skip to main content. Profile Sign Out View More Jobs Postdoc in eXtended Reality (XR) For Extending Human Abilities - DTU Health Tech Kgs. Lyngby, Denmark Be the First to Apply Job Description We...
-
Research Fellow / Research Engineer, Electrical And Electronic Engineering, SINGAPORE INSTITUTE OF TECHNOLOGY (SIT), Singapore, 14 days ago
4 Jun 2024 Job Information Organisation/Company SINGAPORE INSTITUTE OF TECHNOLOGY (SIT) Research Field Engineering Researcher Profile First Stage Researcher (R1) Country Singapore Application Dead...
-
Research Fellow / Research Engineer, Electrical Engineering, SINGAPORE INSTITUTE OF TECHNOLOGY (SIT), Singapore, 14 days ago
4 Jun 2024 Job Information Organisation/Company SINGAPORE INSTITUTE OF TECHNOLOGY (SIT) Research Field Engineering Researcher Profile First Stage Researcher (R1) Country Singapore Application Dead...
-
Postdoc Position In Robotics And Artificial Intelligence, Lulea University of Technology, Sweden, about 2 hours ago
Luleå University of Technology is in strong growth with world-leading competence in several research areas. We shape the future through innovative education and ground-breaking research results, a...
-
Postdoc Position In Robotics And Artificial Intelligence, Lulea University of Technology, Sweden, about 2 hours ago
Luleå University of Technology is in strong growth with world-leading competence in several research areas. We shape the future through innovative education and ground-breaking research results, a...
-
Postdoc In Algorithms – Dtu Compute, Technical University of Denmark, Denmark, 1 day ago
Skip to main content. Profile Sign Out View More Jobs Postdoc in Algorithms – DTU Compute Kgs. Lyngby, Denmark Be the First to Apply Job Description We invite you to apply for a postdoc in algorit...