Recent news
  • Introducing...

  • REMARO Project

The REMARO ETN is a consortium of recognized submarine AI experts, software reliability experts, and a marine safety certification agency created to educate 15 ESRs able to realize the vision of reliable autonomy for underwater applications.


REMARO attacks one of the most pressing problems of modern computing, the safety of AI, in the well defined context of submarine robotics.


The REMARO research fellows will develop the first ever submarine robotics AI methods with quantified reliability, correctness specifications, models, tests, and analysis & verification methods.

General News

Reading Group on Introductory Formal Methods

We are happy to announce that our reading group is being prepared! The first day ...

Read More »

Training in Bremen

Mark your calendar! A 1-week remote training about underwater robotics is going to happen from ...

Read More »

1 Phd Position! Apply Now!

REMARO seeks candidates for 1 PhD position that will work together with us on reliable ...

Read More »

Can we rely on AI-controlled underwater robots?

What happens in the brain of AI-based robots operating under water? Researchers will investigate this question in a new European Horizon 2020 research project. Experts in AI and reliability analysis will cooperate with companies developing underwater robots.

Read More »