[isabelle] Open Positions at DFKI Bremen.

[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.

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.