We are looking for a postdoctoral research associate in the Department of Computer Science. Reporting to Professor Giuseppe De Giacomo. The post holder will undertake research within the Horizon Europe project euroFMX, contributing to the scientific foundations of Frame Autonomy for Manufacturing.
The research will focus on formal methods for autonomous decision-making, developing novel techniques that enable AI systems to reason about actions and change, synthesise behaviour from temporal specifications, monitor compliance with operational requirements, and reason strategically in dynamic environments.
Particular emphasis will be placed on advancing the theory and practice of Frame Autonomy in agentic AI, integrating planning, temporal synthesis, strategic reasoning, and runtime monitoring to provide robust guarantees of correctness, safety, explainability, and controlled autonomy.
The post holder will collaborate closely with academic and industrial partners across the euroFMX consortium to translate these foundations into deployable technologies for next-generation manufacturing systems, contributing to project deliverables, open-source software, and high-impact scientific publications.
Flexible working
The successful candidate will work onsite in the Department of Computer Science buildings in central Oxford.
What We Offer
As an employer, we genuinely care about our employees’ wellbeing and this is reflected in the range of benefits that we offer including:
- An excellent contributory pension scheme
- 38 days annual leave (pro-rata for part-time roles)
- A comprehensive range of childcare services
- Discounted bus travel and Season Ticket travel loans
- Membership to a variety of social and sports clubs
Diversity
Committed to equality and valuing diversity.
Application Process
You will be required to upload a supporting statement and an up-to-date CV as part of your online application.
Your supporting statement must clearly demonstrate how you meet each of the essential selection criteria listed in the job description. Applications that do not include a supporting statement or CV, or fail to address the criteria in sufficient detail, will not be considered.
While we recognise the value of AI tools in assisting with application preparation, submissions that are clearly AI-generated without personalisation or insight will be rejected. It's crucial that your application reflects your own experiences and understanding of the role.
The closing date for applications is noon on 29 June 2026. Interviews are expected to be held in July.
