News & Announcements

Open positions, fresh reads from our blog, and the latest project notices.

Open positions

Research imagery
PhD

OXFORD-MPG PhD Program

Saarbrücken · Oxford · Full-time · Start:

The Oxford-Max-Planck Doctoral Program is a collaborative venture between Oxford University and the Max Planck Society, offering students the opportunity to pursue a joint doctorate in computer science under the supervision of faculty from Oxford University’s Computer Science Department and from one of the four Max Planck Institutes specialising in computer science.

On a rolling basis Learn more
Research imagery
POSTDOC

Postdoctoral Position in Verification & Proof Automation with LEAN

Saarbrücken · Vienna · Full-time · Start:

We seek strong PhD-level researchers (including PhD candidates near completion) in CS, Math, or related fields with proven computational math aptitude and coding skills. Experience with LLMs and LEAN theorem proving is highly desired.

Deadline: 15.03.2026 More information

Blog highlights

Blog cover 1
Interview

The Soft-Spoken Computer Scientist Behind an Award-Winning Thesis

5 min read · Feb 2026

In this interview, Toghrul reflects on the problem that shaped his PhD and how an “expected-to-be-undecidable” research question became a rich research programme.

Piotr and Ben discussing some maths
Interview

Piotr's journey in the Oxford-MPG Doctoral Programme

11 min read · Feb 2026

In this conversation, Piotr shares how he ended up in the programme, what surprised him about research, and what day-to-day life actually looks like when you're doing a PhD across two countries.