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 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@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
-------------------------------------------------------------