Open position at the Chair of Computational Logic

From International Center for Computational Logic
News from the research group Computational Logic of May 2, 2022

Open position at the Chair of Computational Logic

The Chair of Computational Logic lead by Prof. Dr. Sebastian Rudolph is looking for a new Research Associate.

The offer is a fixed-term position starting on July 1, 2022 until 30 June 2025, and offers the chance to obtain further academic qualification (e.g. PhD). Salary according to group E13 TV-L.

We seek motivated and talented employees with a very good university degree (M.Sc. or equivalent) in computer science or a related field. The position is particularly suitable for candidates with prior experience in the following topics:

  • AI methods from areas of knowledge representation, logic programming, logical reasoning
  • Foundations and applications of other symbolic AI methods, e.g., planning, process modeling, optimization
  • Design and implementation of related systems in common programming languages