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.

This is the last position available. But you can click here, and get to know a little bit more about the other 14 projects of your possible future colleagues!

How to apply:

We look forward to your application. To see the required documents for application and further information, click here.

If you have any questions please contact Prof. João Bernardo de Sena Esteves Falcão e Cunha, PhD <>

Application is Open From: 12.10.2021 to 25.10.2021 10.11.2021(until 23h59m WEST)

The application must be formalized via email: to and to (it should clearly state the reference FEUP‐REMARO)

The application must include: complete name, number and date of the identity card, tax identification number, date and location birth, residence and contact address, including e‐mail and telephone contact

Targeted starting time: As soon as possible

Position #6: Digital Twin Knowledge Base for submarine robot inspection/manipulation

The aim is to develop statistical methods to perform real-time analysis of data streams generated by marine robots with the goal of finding and tracking fronts, filaments, and other hydrographic features of high mobility, and limited spatial and temporal scales. The approach should address single and multi-vehicle operations in a uniform way, even when coordination is achieved over acoustic communications. The expected results are: 1. Statistical methods for the identification of biogeochemical signatures of dynamic features of the ocean; 2. Adaptive sampling algorithms for finding and tracking hydrographic features of high mobility and limited spatial and temporal scale with networked vehicles.

Prerequisites: Candidate must hold a Master’s degree in any of the following fields: computer science, informatics, mechanical/electrical engineering, physics, mathematics, marine sciences or related fields. The candidate must have strong analytical skills and be able to work at the intersection of science and technology. The candidate should have experience in one of the following programming languages C/C++ and Python. Experience with robotic operations and/or with the Robot Operating System (ROS) or with the LSTS software toolchain is a plus.

Hiring institution: University of Porto

PhD Enrollment: Faculty of Engineering of the University of Porto (FEUP). The project involves collaboration with OMST in Porto and TUD in Delft. Note: The enrollment in the Doctoral Program in Electrical and Computer Engineering of the Faculty of Engineering of the University of Porto (FEUP) is mandatory before signing the contract – detailed instructions will follow later, after the call selection. The length of this PhD programme is 4 years.

The PhD position is offered under a term employment contract in accordance with the provisions of the national regulation in force.

The selected candidate will also be required to obtain a recognition of his/her higher education academic degree and diploma (link), in compliance with the provisions of the Decree-Law No. 66/2018 of august 16th, and any formalities established there must be fulfilled before signing the contract. Administrative support will be given to complete this process.

Duration of the project: 48 months

Main Academic Supervisor: prof. João Sousa, contact:

Co-supervisors: Carlos Hernandez Corbato (TUD, Netherlands), Luis Madureira (OMST, Portugal)