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, a leading European institution, invites applications for a full-time postdoctoral scholarship in Automated Reasoning for Quantum Knowledge within the Department of Computer Science, Faculty of Science. The university is renowned for its innovative academic environment, diverse community, and commitment to pioneering scientific research. This position focuses on classical representation and reasoning of quantum knowledge, contributing to ongoing research projects in theoretical computer science, quantum information, and computation. The successful candidate will help coordinate project proposals, attract external funding, supervise PhD students and team members, and participate in limited teaching and academic service activities. The role offers opportunities to represent the research group internally and externally, and to coordinate service projects. Applicants must hold a PhD in Computer Science or a closely related field and must not have resided or carried out primary activity in Belgium for at least 12 months in the past 3 years. Candidates should demonstrate research qualities and teaching competences aligned with university policies, act with integrity, creativity, and cooperation, and possess fluency in English. Experience in quantum information processing or quantum computation, with publications at venues such as PODS, CAV, KR, CP, QPL, QIP, or Quantum journal, is required. 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 pay scales for Contract Research Staff (BAP), and additional benefits include ecocheques, Internet-connectivity allowance, bicycle allowance, or full reimbursement of public transport costs for commuting. The position is based at the Middelheim campus, offering a dynamic and stimulating working environment. The planned start date is September 1, 2026, or as soon as possible thereafter. Applications must be submitted online via the University of Antwerp’s job application platform by midnight Brussels time on 1 June 2026. Required documents include a motivation letter and academic CV. The selection committee will review applications promptly after the deadline and notify candidates regarding next steps. For questions about the application process, contact [email protected]; for job-specific inquiries, reach out to Prof. Guillermo Perez ([email protected]). The University of Antwerp is committed to diversity, inclusion, and equal opportunities, and encourages applications from candidates of all backgrounds. The institution has received the European Commission’s HR Excellence in Research Award and invests in the growth and well-being of its employees.