Postdoc in Logic and Symbolic AI for Computational Law and Declarative Business Process Management

Postdoc in Logic and Symbolic AI for Computational Law and Declarative Business Process Management

We call for a 24‑month Postdoctoral researcher for the XHAILe project (Explainable Hybrid AI for Computational Law and Accurate Legal Chatbots), financed by the Innovation Fund Denmark. The postdoc will be located at the Computer Science Department, University of Copenhagen, in the Software, Data, People & Society research section.

Position details

Duration: 24 months
Start date: October 1, 2026 (or shortly thereafter)
Working hours: Full time
Location: Department of Computer Science, University of Copenhagen

Responsibilities and tasks

• Develop a scalable symbolic‑AI modelling language based on the declarative DCR Graphs language and related logics, enabling explainable executable models of complex laws.
• Conduct research in logic and symbolic AI for computational law and declarative process management, contributing to t...