Postdoctoral Scholarship Holder in Automated Reasoning for Quantum Knowledge University of Antwerp in Belgium

The University of Antwerp is offering a full-time postdoctoral scholarship holder position in Automated Reasoning for Quantum Knowledge within the Department of Computer Science, Faculty of Science. The appointment is based at the Middelheim campus in Antwerp, Belgium, and is embedded in a dynamic research environment focused on theoretical computer science, quantum information, and quantum computation.

The successful candidate will contribute to ongoing research on the classical representation and reasoning of quantum knowledge, help coordinate project proposals, and support efforts to attract external funding. The role also includes assisting with the supervision of PhD students and other team members, carrying out a limited number of teaching activities, and contributing to the research group’s academic service both internally and externally.

Applicants are expected to hold a PhD in Computer Science or a closely related area. A key eligibility condition is mobility-related: candidates must not have resided or carried out their primary activity in Belgium for at least 12 months during the past 3 years. The university is looking for researchers whose work connects to quantum information processing or quantum computation, especially with publications in database, verification, or knowledge representation and reasoning venues such as PODS, CAV, KR, or CP, or in quantum-focused venues such as QPL, QIP, or The Quantum journal. Strong English communication skills are required, together with academic qualities aligned with the university’s standards of quality, integrity, creativity, and cooperation.

The contract is offered for one year full-time, with the possibility of a second year extension after positive evaluation. Funding is provided through a postdoctoral scholarship holder arrangement, with the monthly amount calculated according to the BAP salary scales for contract research staff. Additional benefits include ecocheques, an internet connectivity allowance, and either a bicycle allowance or full reimbursement of public transport commuting costs.

The planned start date is 1 October 2026, or as soon as possible thereafter. Applications must be submitted through the University of Antwerp’s online application platform no later than 31 August 2026 at midnight Brussels time. Applicants should include a motivation letter and an academic CV. Questions about the position may be addressed to Prof. Perez at [email protected], while questions about the application procedure can be sent to [email protected].

This opportunity is particularly relevant to candidates with interests in automated reasoning, logic, quantum computing, knowledge representation, database theory, and verification. It is a research-oriented position in an internationally active university environment with a clear emphasis on high-quality scholarship and collaboration.