Postdoctoral Scholarship: Automated Reasoning for Quantum Knowledge

About the role

Two-year postdoctoral scholarship at the University of Antwerp on automated reasoning for quantum knowledge representations. The work develops symbolic and neuro-symbolic methods for reasoning about quantum states, protocols, and knowledge bases. Funded as a tax-favourable Belgian postdoctoral scholarship. Deadline 1 June 2026.

Responsibilities

• Design knowledge representations and inference engines for quantum systems.
• Build neuro-symbolic methods that combine logical reasoning with learned components.
• Validate the methods on quantum protocol verification and quantum knowledge base tasks.
• Publish in venues such as IJCAI, AAAI, KR, and Physical Review Quantum.

Requirements

• PhD in computer science, logic, mathematics, or physics by the start date.
• Strong background in automated reasoning, logic, or knowledge representation.
• Working knowledge of quantum mechanics at the level of an introductory quantum computing course.
• Fluent English. Dutch is not required.

Nice to have

• Prior research on symbolic AI, theorem proving, or knowledge graphs.
• Experience with quantum computing software (Qiskit, Cirq) or quantum protocol verification tools.
• Publications at top reasoning or physics venues.

How to apply

Open the apply link and submit CV, publication list, research statement, PhD certificate, and two reference letters via the University of Antwerp recruitment portal before 1 June 2026.