Logic List Mailing Archive

Scientific Junior Researchers positions related to logic, formal methods and ontologies, Bremen (Germany)

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 Schrder



-- 
--------------------------------------
Prof. Dr. Lutz Schrder
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@dfki.de
www.dfki.de/sks/staff/lschrode
--------------------------------------


-------------------------------------------------------------
Deutsches Forschungszentrum fr Knstliche Intelligenz GmbH
Firmensitz: Trippstadter Strasse 122, D-67663 Kaiserslautern

Geschftsfhrung:
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
-------------------------------------------------------------