Universiteit van Amsterdam

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

Open Research Positions in Saarbrücken

There are open positions at the OMEGA Group of the AG Siekmann Department of Computer Science, Saarland University & German Research Center for Artificial Intelligence (DFKI) in Saarbrücken, Germany.

The OMEGA project concentrates on the development of the mathematical assistant system OMEGA. In contrast to traditional theorem proving systems, OMEGA employs the proof planning paradigm and tries to support the mathematician at a cognitively adequate conceptual level. Instead of dispensing with the strengths of powerful traditional reasoning systems however, we integrate them as support systems. For this purpose an agent based framework is developed supporting the distribution and cooperation of external reasoning systems via the internet.

The candidate should have an M.Sc. or PhD (or equivalent degree) in Computer Science, Mathematics, or Computational Linguistics and should be able to speak and write in English. German is optional but helpful for social reasons. The opportunity to produce a PhD thesis in the context of one of our projects will be given.

For more information, see http://www.ags.uni-sb.de/~chris/jobs/job.html.

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