Recent news

Open PhD Positions

One PhD position in formal methods for underwater robots is available in the REMARO MSCA network. We are looking for an excellent candidate with a background in formal methods, programming, logic and mathematics, who is curious how their knowledge can contribute to improve the quality of autonomous robots. As a PhD fellow in REMARO, you will work together with other PhD fellows in a scientific network with leading researchers from both academia and industry, with research stays and interaction across the network. The announced position is ideal for students with an analytical mindset who enjoyed topics such as logic, concurrency theory, formal methods, executable models and model checking and software verification during their studies.

REMARO ( is an interdisciplinary training network for PhD students which combines expertise in submarine AI, software reliability and formal methods, and marine safety certification to educate 15 PhD fellows in topics in the area of reliable autonomy for underwater applications. REMARO is funded by the EU as a Marie Sklodowska-Curie Actions (MSCA) training network for PhD fellows 01/12/2020 – 30/11/2024.

How to apply:

We look forward to your application, containing a motivation letter (1-2 pages), your curriculum vitae and certificates of your studies, including course transcripts and grades.

Please send your application, including all documents, via email to Erika Abraham <>

Application deadline: 31.08.2021

Targeted starting time: As soon as possible

System-level verification of an autonomous under-water robot

Underwater pipeline inspection robots possess complex behavior involving e.g. AI-based learning, uncertainties in the environment, and the combination of the continuous evolution of physical quantities with the discrete nature of digital controllers. For their safety assessment, algorithms and tools for the analysis of these aspects in isolation are available, but their combination is scientifically as well as technically yet an interesting open problem. The goal of this project is to assess certain aspects of certain components and use these results to derive conclusions about the robot as a whole at system level, to be able to analyze complex behavior like autonomous navigation including obstacle detection and avoidance.

Prerequisites: Master degree or equivalent in computer science or informatics; fun with theoretical computer science and math; programming skills. A good command of spoken and written English is required. The applicant must not have lived in Germany more than 12 months in the last 3 years.

Hiring institution: RWTH Aachen University

PhD Enrollment: PhD position at the Department of Computer Science at RWTH Aachen University. The project involves collaboration with DFKI in Bremen, Ocean Scan in Porto, and ISEP in Porto.

Duration of the project: 36 months

Main Academic Supervisor: prof. Erika Abraham, contact:

Co-supervisors: prof. Ana Maria Madureira (ISEP, Porto), Luis Madureira (OMST, Porto)