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

The University of Antwerp invites applications for a full-time postdoctoral scholarship in Automated Reasoning for Quantum Knowledge, based in the Department of Computer Science within the Faculty of Science. This dynamic European university is renowned for its innovative academic environment, pioneering research, and commitment to societal impact. The position is located at the Middelheim campus in Antwerp, Belgium, offering a stimulating and international workplace.

The successful candidate will contribute to ongoing research projects focused on classical representation and reasoning of quantum knowledge. Responsibilities include coordinating project proposals in theoretical computer science and quantum information/computation, attracting external funding, supervising PhD students and team members, and participating in limited teaching activities. The role also involves representing the research group internally and externally, and coordinating service projects.

Applicants must hold a PhD in Computer Science or a closely related discipline from a non-Belgian institution (or obtain it by the start date). Essential qualifications include strong research and teaching competences aligned with university standards, fluency in English, and a proven track record in quantum information processing or quantum computation. Candidates should have publications in relevant venues such as PODS, CAV, KR, CP, QPL, QIP, or the Quantum journal. Motivation, integrity, creativity, and cooperation are highly valued.

The appointment is for one year, with the possibility of extension for a second year following a positive evaluation. The monthly scholarship amount is determined by the Contract Research Staff pay scales. Additional benefits include ecocheques, Internet-connectivity allowance, bicycle allowance, or full reimbursement of public transport commuting costs. The University of Antwerp is committed to diversity, inclusion, and equal opportunities, and encourages applications from candidates of all backgrounds.

To apply, candidates must submit an online application via the University of Antwerp’s platform by 1 June 2026, including a motivation letter and academic CV. The selection committee will review applications promptly after the deadline and notify candidates regarding next steps. For further information about the application process, contact [email protected]. For job-specific queries, reach out to Prof. Guillermo Perez at [email protected].

This opportunity offers a unique chance to advance research in quantum knowledge and automated reasoning, collaborate with leading academics, and contribute to the future of theoretical computer science at a top European institution.