Guillermo Perez

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.

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.