Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

Two postdoctoral positions in logic, Bremen (Germany)

The University of Bremen, Department 3 (Mathematics and Computer Science), invites applications for two postdoc positions in Computer Science (Salary Scale TV-L 13) in the ERC-funded project 'Custom-Made Ontology-Based Data Access'. The position is available from August 1st, 2015, subject to clearance by the University administration, and is limited to five years.

The project addresses ontology-based data access (OBDA) with description logics and other decidable fragments of first-order logic such as the guarded fragment. It brings together research in logic-based knowledge representation, database theory, and constraint satisfaction problems to provide custom-tailored OBDA theory and tools for applications. We are interested both in candidates with a pure theory background and in candidates which have a solid background in theory, but are also interested in system building.

The positions require a PhD in computer science, logic, or mathematics or a comparable qualification. Good knowledge of at least one of the involved areas is mandatory. The successful candidate will work in the group 'Theory of Artificial Intelligence' led by Carsten Lutz.

Please send your application by June 11th, 2015, quoting the vacancy ID A91/15. For more information, see http://www.uni-bremen.de/universitaet/die-uni-als-arbeitgeber/offene-stellen/ or contact Carsten Lutz at .

Please note that this newsitem has been archived, and may contain outdated information or links.