[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
--
--------------------------------------
Prof. Dr. Lutz Schröder
Senior Researcher
DFKI Bremen
Safe and Secure Cognitive Systems
Cartesium, Enrique-Schmidt-Str. 5
D-28359 Bremen
phone: (+49) 421-218-64216
Fax: (+49) 421-218-9864216
mail: [email protected]
www.dfki.de/sks/staff/lschrode
--------------------------------------
-------------------------------------------------------------
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH
Firmensitz: Trippstadter Strasse 122, D-67663 Kaiserslautern
Geschäftsführung:
Prof. Dr. Dr. h.c. mult. Wolfgang Wahlster (Vorsitzender)
Dr. Walter Olthoff
Vorsitzender des Aufsichtsrats:
Prof. Dr. h.c. Hans A. Aukes
Amtsgericht Kaiserslautern, HRB 2313
-------------------------------------------------------------
