{"id":1236,"date":"2020-10-06T15:48:36","date_gmt":"2020-10-06T15:48:36","guid":{"rendered":"https:\/\/remaro.eu\/?page_id=1236"},"modified":"2021-10-12T08:35:10","modified_gmt":"2021-10-12T08:35:10","slug":"positions","status":"publish","type":"page","link":"https:\/\/remaro.eu\/index.php\/positions\/","title":{"rendered":"15 Open PhD Positions [This call is now closed]"},"content":{"rendered":"\n

Fifteen PhD positions are available with the  RE<\/span>MA<\/span>RO<\/span><\/strong> network. Below we list details of the 15 projects (click on the titled to jump to the description). Detailed instructions on how to apply are available here (click)<\/a>.<\/span><\/p>\n\n\n\n

  1. Vision-based classification for under water safety critical applications<\/strong><\/a> (Aarhus, Robotics AI)<\/li>
  2. Vision-based navigation for underwater safety critical applications<\/a> <\/strong>(Aarhus, Robotics AI)<\/li>
  3. Sonar-based 3D reconstruction for dense underwater SLAM maps<\/strong><\/a> (Bremen, Robotics AI)<\/li>
  4. Probabilistic property-based testing for feature classification in submarine vision<\/strong><\/a> (Copenhagen, Software Engineering\/Formal Methods)<\/li>
  5. System-level safety analysis for vision-based autonomous submarine vehicles<\/strong><\/a> (Porto, Robotics Safety Engineering\/Formal Methods)<\/li>
  6. Identification of bio-geo-chemical signatures of dynamic features of the ocean<\/strong><\/a> (Porto, Robotics AI)<\/li>
  7. Model-based probabilistic testing for system-level safety of underwater vision controlled robot<\/strong><\/a> (Copenhagen, Software Engineering\/Formal Methods)<\/li>
  8. Meta-control for reliable autonomous operation of underwater robots<\/a> <\/strong>(Delft, Robotics Safety and AI\/Model-driven Engineering)<\/li>
  9. System-level verification of an autonomous under-water robot<\/strong><\/a> (Aachen, Formal Methods\/Verification)<\/li>
  10. D<\/strong><\/a>igital Twin Knowledge Base for submarine robot inspection\/manipulation<\/a> <\/strong>(Bremen, Robotics AI)<\/li>
  11. A knowledge service for underwater pipeline inspection and maintenance<\/a> <\/strong>(Bremen, Robotics AI)<\/li>
  12. Property-based testing and statistical assessment of plans<\/a> <\/strong>(Copenhagen, Software Engineering\/Formal Methods)<\/li>
  13. Formal methods for underwater robots as probabilistic hybrid systems<\/strong><\/a> (Aachen, Formal Methods\/Verification)<\/li>
  14. Verification methods for reflective control systems<\/a> <\/strong>(Oslo, Formal Methods\/Verification)<\/li>
  15. Continuous quality assurance for cognitive controls<\/strong><\/a> (Oslo, Formal Methods\/Software Engineering)<\/li><\/ol>\n\n\n\n
    \"\"<\/figure>
    \n

    REMARO has received funding from the European Union’s EU Framework Programme for Research and Innovation Horizon 2020 under Grant Agreement No 956200<\/p>\n<\/div><\/div>\n\n\n\n

    \n\n\n\n
    <\/div>\n\n\n\n

    <\/p>\n\n\n\n

    \"\"<\/figure>
    \n

    Position #1:<\/strong> Vision-based classification for under water safety critical applications<\/strong><\/h3>\n\n\n\n

    For safety, it is crucial to warn the system when model predictions are unreliable. We will expand reliable AI concepts by developing a concrete example: a model to identify important underwater anomalies such as debris, pipeline damage, or leakage. This model also has to indicate prediction weaknesses(i) and (ii) detect when new anomalies appear (e.g., via distribution shifts), as a part of an automatic risk assessment system.<\/p>\n\n\n\n

    Tasks and Responsibilities<\/strong><\/h5>\n\n\n\n