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 (https://remaro.eu) 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. To see the required documents for application follow the instructions here: Apply here
If you have any questions please contact Prof. Michael Beetz, PhD <firstname.lastname@example.org>
Application deadline: 9.09.2021
Targeted starting time: As soon as possible
Position #10: Digital Twin Knowledge Base for submarine robot inspection/manipulation
The Institute for Artificial Intelligence (IAI) investigates methods for cognition-enabled robot control. The research is at the intersection of robotics and Artificial Intelligence and includes methods for intelligent perception, dexterous object manipulation, plan-based robot control, and knowledge representation for robots.
As a researcher of the IAI, you actively research by applying and extending the elaborated methods and tools of the IAI (e.g., CRAM, KnowRoB, and openEASE) to the uncertainties of limited resources, computation, and sensor data of submarine robots. You develop a Digital Twin that simulates harsh continuously evolving environments and service tasks on real robots. You design a detailed representation of an environment to be inspected, including data coming from past inspections, both similar and different (e.g., transfer learning from an inspection of the interior of an installation). Your research will be especially the environment representation, semantic annotation, and sensor data fusion deal with noisy data and unreliable information in dynamic environments. You work with IAI researchers and engineers of the ROSEN Group, implementing a service for underwater pipeline inspection and maintenance.
Prerequisites: You have a strong background in some of the following fields: Digital Twins, Knowledge Representation, Data structures, Data Stream Representation.
Hiring institution: University of Bremen
PhD Enrollment: PhD position in the Institute for Artificial Intelligence at University of Bremen. The project involves collaboration with ROSEN in Bremen and UiO in Oslo.
The PhD examination acceptance requires a “Certificate of Equivalence for Foreign Vocational Qualifications”. More information available at https://www.kmk.org/zab/central-office-for-foreign-education/certificate-of-equivalence.html and https://www.uni-bremen.de/fileadmin/user_upload/sites/international/Studieren_in_Bremen/AnerkennungPromotion.pdf . Obtaining such a certificate is not necessary for the job application, but it is required later in the recruitment process.
Duration of the project: 36 months
Main Academic Supervisor: Prof. Michael Beetz, contact: email@example.com
Co-supervisors: prof. Einar Broch Johnsen (UiO, Norway), dr. Peter Kampmann (ROSEN, Germany)