Email Gateway (Aug 17 2022 at 14:49): Email Gateway (Aug 17 2022 at 14:49):From: Christoph Lüth <cxl@informatik.uni-bremen.de>
[I hope this will be of interest to readers of this mailing list. Apologies for
multiple copies, and please redistribute to any interested parties. -- cxl.]
The DFKI Lab Bremen, Safe and Secure Cognitive Systems group, is looking for
Three Junior Researchers
to work in the SAMS project. In this project, a safety component for
autonomous mobile service robots is developed; a central part will be
the formal verification of the control software. Areas of expertise we
are looking for include formal methods, verifikation, and methods of
localisation. For more information, please refer to
Applications should reach us by July 15th at the adress given on the
website above.
Last updated: May 03 2024 at 04:19 UTC