[isabelle] Research positions at DFKI SKS, Bremen



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: Lutz.Schroeder at dfki.de
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
-------------------------------------------------------------







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