Postdoctoral scholarship holder Automated Reasoning for Quantum Knowledge

Organisation/Company University of Antwerp Research Field Computer science ‘Database management Computer science’ ‘Other Mathematics’ ‘Mathematical logic’ Researcher Profile Recognised Researcher (R2) Final date to receive applications 31 Aug 2026 - 21:59 (UTC) Country Belgium Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure?

No

The University of Antwerp is a dynamic, forward-thinking, European university. We offer an innovative academic education to more than 20000 students, conduct pioneering scientific research and play an important service-providing role in society. We are one of the largest, most international and most innovative employers in the region. With more than 6000 employees from 100 different countries, we are helping to build tomorrow's world every day.

Through top scientific research, we push back boundaries and set a course for the future — a future that you can help to shape.

The Department of Computer Science in the Faculty of Science is looking for a full-time (100%) postdoctoral scholarship holder in the field of Automated Reasoning for Quantum Knowledge.

• You will assist in ongoing research projects in classical representation and reasoning of quantum knowledge
• You will help coordinate project proposals in the field of theoretical computer science, in general, and quantum information and computation, in particular, and contribute to attracting external funding.
• You will assist in the supervision of PhD students and other team members.
• You will fulfil a limited number of teaching activities.
• You will participate in the provision of academic services: you will represent the research group both internally and externally, help to coordinate service projects, and so on.

• You hold a PhD in Computer Science (or similar) and you have not resided or carried out any primary activity in Belgium for at least 12 months in the past 3 years.
• Your teaching competences are in line with the University of Antwerp’s educational vision .
• You act with attention to quality, integrity, creativity and cooperation.
• You can speak and write fluently in English.
• You are driven and motivated to push your academic career forward.
• You have work related to quantum information processing or quantum computation, e.g.:
  • Published at database, verification, or knowledge representation and reasoning venues comparable to PODS, CAV, KR, or CP
  • or at venues like QPL, QIP, or the Quantum journal

• We offer a full-time appointment as a postdoctoral scholarship holder for a period of one year (with a possible extension for a second year, after a positive evaluation)
• The planned start date is October 1, 2026 or as soon as possible after that date.
• Your monthly scholarship amount is calculated according to the scholarship amounts for postdoctoral scholarship holders on the pay scales for Contract Research Staff (Dutch: Bijzonder Academisch Personeel, BAP).
• You will receive ecocheques, Internet-connectivity allowance and a bicycle allowance or a full reimbursement of public transport costs for commuting.
• You will do most of your work at the Middelheim campus in a dynamic and stimulating working environment.
• Find out more about working at the University of Antwerp here .

The University of Antwerp received the European Commission’s HR Excellence in Research Award for its HR policy. We are a sustainable, family-friendly organisation which invests in its employees’ growth. We encourage diversity and attach great importance to an inclusive working environment and equal opportunities, regardless of gender identity, disability, race, ethnicity, religion or belief, sexual orientation or age. We encourage people from diverse backgrounds and with diverse characteristics to apply.