Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Research positions at DFKI SKS, Bremen

Email Gateway (Aug 18 2022 at 18:39):

From: Lutz Schroeder <Lutz.Schroeder@dfki.de>
The DFKI research department Safe and Secure Cognitive Systems in
Bremen, Germany, currently has several vacancies in projects related to
logic, formal methods, and ontologies, see

http://www.informatik.uni-bremen.de/dfki-sks/vacancies/37-11_BK.pdf

Regards,

Lutz Schröder

Last updated: May 06 2024 at 20:16 UTC