Fifteen amazing PhD positions in the REMARO project are now available! REMARO is a new Marie-Curie network at the intersection of in AI and formal verification, and at the intersection between academia and companies developing underwater robots. The PhD positions in formal methods are available at IT-University of Copenhagen (Denmark), University of Oslo (Norway), and RWTH Aachen (Germany).
Great opportunities in developing formal methods for underwater robotic systems!
Find more information here: https://remaro.eu/index.php/2020/10/15/15-phd-positions-apply-now/
Application deadline: January 1, 2021 Anywhere on Earth
A sharing platform for the Computer-Aided Verification community
