Fixed-term: The funds for this post are available for 1 year.

Suggest a talk

Dear colleagues, Over the past weeks there have been more and more results in which AI models played a crucial role, not only in mathematics and theoretical computer science, but right at the heart o...

The Royal Society has today honoured our colleagues Professors Anuj Dawar and Srinivasan Keshav by electing them as Fellows. Many congratulations to them both!

An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.

This survey paper gives an overview of various known results on learning classes of Boolean functions in Valiant's Probably Approximately Correct (PAC) learning model and its commonly studied variants...

Gödel in Cryptography: Zero-Knowledge Proofs With No Interaction, No Setup, and Perfect Soundness

An Artin-Tits group is a group with a finite set of generators $latex a_1,\dots a_k$ in which every relation is of the form $latex (ab)^r=(ba)^r$ or $latex (ab)^ra=(ba)^rb$ for some positive intege…

We discuss a recent line of research investigating inverse theorems with respect to general k-wise correlations, and explain how such correlations arise in different contexts in mathematics. We outlin...

Explore an exciting academic career as a Postdoctoral Research Associate (Fixed Term). Don't miss out on other academic jobs. Click to apply and explore more opportunities.

Department of Computer Science - People: Sergii Strelchuk - QCOW

The 53rd EATCS International Colloquium on Automata, Languages, and Programming (ICALP) will take place between 7–10 July, 2026.

Department of Computer Science - People: Sergii Strelchuk - QCOW

ITCS 2025 CFP

This is a course on the theory of quantum computing. It consists of 16 lessons, each with a video and written component, covering the basics of quantum information, quantum algorithms (including query...

YouTube video by Sydney Mathematical Research Institute - SMRI