CompSciOxford

Researchers win CAV 2025 Paper Award for work on model checking Zainab Fatmi and Professors Stefan Kiefer and David Parker have developed a new method for simplifying probabilistic models in formal verification

Department researchers have developed a new method to simplify probabilistic models while preserving key behaviours. The work, recognised with a Distinguished Paper Award at CAV 2025, strengthens the reliability of system verification.
www.cs.ox.ac.uk/news/2471-fu... @confcav.bsky.social

Cohere bringing AI into public sector through partnerships with Canadian, UK governments AI startup says it will heed Prime Minister’s call to make government “more productive and efficient.”

Graduate Aidan Gomez @aidangomez.bsky.social, founder & CEO of @cohere.com, met with UK PM Keir Starmer & Canadian PM Mark Carney as the AI start-up joins new partnerships with the UK & Canadian governments to ensure safe and responsible AI development.

Read more: betakit.com/cohere-bring...

A salmon pink graphic with the Department of Computer Science logo at the top left and text reading 'We’re hiring: Research Associate in Deep Learning and Fetal Neurosonography. Full time (37.5 hours/week) fixed term contract until 31 May 2027 with possibility of extension. Grade 07RS: £38,674-£43,171 per annum inclusive of Oxford University weighting (potential to under fill at grade 06RS: £34,982-£40,855 per annum). Application Deadline: 12:00 29 September 2025. @compscioxford #CompSciOxford'. There are also lines and dots pointing to the text that look like a computer board.

Recruiting:
We're hiring a Research Associate in Deep Learning and Fetal Neurosonography to contribute to cutting-edge research at the intersection of deep learning, computer vision, and biomedical imaging.
Details & applications: my.corehr.com/pls/uoxrecru...
#Recruiting @ana-namburete.bsky.social

This is a major step towards empowering individuals with greater control over their personal data, so we're very pleased to share this for #WorldWideWebDay

Since we shared the article last year, there have been some exciting updates. The Open Data Institute (ODI), co-founded by Oxford Professors Sir Tim Berners-Lee and Sir Nigel Shadbolt, has taken on stewardship of the Solid Project.

A grey-green background with text reading ‘DPhil the Future. Reclaiming Data Autonomy: The Role of Solid in a Safer Web - by DPhil student Jesse Wright’. There is then a pale blue curved text box with text reading ‘‘In the age of AI and Big Data, this lack of data autonomy becomes increasingly detrimental to both individuals and society’’. To the left of this there is a circular photograph of a young man with blond hair, smiling whilst wearing a blue jacket and white shirt. Beneath this there is further text reading ‘Discover the future of computer science through the voices of our DPhil students @compscioxford #CompSciOxford’.

Did you read DPhil student Jesse Wright’s @jeswr.bsky.social article ‘Reclaiming Data Autonomy: The Role of Solid in a Safer Web’? We're resharing it for #WorldWideWeb day as Jesse explores the possibilities of a more ethical, transparent, & user-centric online world: www.cs.ox.ac.uk/news/2287-fu...

A salmon pink graphic with the Department of Computer Science logo at the top left and text reading 'We’re hiring: Research Associate in Computer Vision. Full time (37.5 hours/week) fixed term contract for 1 year to end not later than 1 November 2026. Grade 07RS: £38,674-£46,913 per annum inclusive of Oxford University weighting (potential to under fill at grade 06RS: £34,982-£40,855 per annum). Application Deadline: 12:00 9 September 2025. @compscioxford #CompSciOxford'. There are also lines and dots pointing to the text that look like a computer board.

Recruiting:
We're hiring a Research Associate in Computer Vision to join the Perceptual Intelligence and Extended Reality Lab (PIXL) to work on a project at the intersection of Computer Vision & Climate Science.

Details & applications: my.corehr.com/pls/uoxrecru...

#Recruiting #OxfordRecruitment

UK gets first female Astronomer Royal in 350 years Prof Michele Dougherty is the first woman to be appointed to the influential post.

Congratulations to Prof Michele Dougherty, the 1st female Astronomer Royal in 350 years. Without a science A-level, Michelle was accepted to study science at university on the strength of her maths. Excellent maths skills are also essential to study CS with us. www.bbc.co.uk/news/article...

A blue-grey graphic with layered salmon pink boxes on it. There is dark blue text reading ‘Student clubs and societies’ and ‘There are many clubs and societies that our students can join to meet like-minded people and form strong bonds, below are a few Computer Science related groups:’. Below this text, on the pink boxes, there are dark blue lines and connected dots that act as bullet points for the following text ‘Oxford Women in Computer Science (OxWxCS): aims to support and promote women in Computer Science at the University of Oxford’, ‘Oxford Compsoc: promotes the use of computers, programming, and new technology amongst our diverse group members from across the University of Oxford’, ‘Oxford Artificial Intelligence Society: aiming to educate, promote, connect and innovate in artificial intelligence’, ‘The Invariants: are Oxford's student Mathematical Society, they host lecture, socials and puzzle competitions’, and ‘The Mirzakhani Society: is for women and non-binary students studying maths at the University of Oxford’.

Student clubs & societies are a vibrant place where students can form strong bonds. Some CS related groups include Oxford Women in Computer Science (OxWxCS), Oxford Compsoc, Oxford Artificial Intelligence Society, The Invariants, & The Mirzakhani Society. Which would you join?

#FriendshipDay

A salmon pink graphic with the Department of Computer Science logo at the top left and text reading 'We’re hiring: Research Associate on Geometric ML. Full time (37.5 hours/week) fixed term contract for 2 years. Grade 07RS: £38,674-£46,913 per annum inclusive of Oxford University weighting (potential to under fill at grade 06RS: £34,982-£40,855 per annum). Application Deadline: 12:00 27 August 2025. @compscioxford #CompSciOxford'. There are also lines and dots pointing to the text that look like a computer board.

Recruiting:
We're hiring a Research Associate on Geometric ML to provide day-to-day supervision for research assistants on the topics of geometric ML and generative models. The post holder will report to Prof Bronstein @mmbronstein.bsky.social.

Details & applications: my.corehr.com/pls/uoxrecru...

We asked the UNIQ summer school students what their favourite part of being a UNIQ student was, and this is what they had to say. If you want to take part in next year’s UNIQ programme and are eligible, keep an eye on our socials for when applications open for next year’s programme.

Head and shoulders picture of Professor Graham Cormode, a white man wearing a blue collared shirt

We're pleased to announce that Professor Graham Cormode will join the department as Professor of Computer Science on 1 January 2026. He brings expertise in algorithms, privacy and big data. We look forward to welcoming him to Oxford www.cs.ox.ac.uk/news/2466-fu...

We asked the UNIQ summer school students how the summer school impacted their understanding of computer science, and this is what they had to say. If this sounds interesting to you, keep an eye on our socials for when applications open for next year’s programme.

A salmon pink graphic with the Department of Computer Science logo at the top left and text reading 'We’re hiring: Research Associate on Non-human communication and animal linguistics. Full time (37.5 hours/week) fixed term contract for 2 years to end not later than 31 December 2027. Grade 07RS: £38,674-£46,913 per annum inclusive of Oxford University weighting (potential to under fill at grade 06RS: £34,982-£40,855 per annum). Application Deadline: 12:00 27 August 2025'. There are also lines and dots pointing to the text that look like a computer board.

Recruiting:

We're hiring a Research Associate on Non-human communication and animal linguistics to be part of the international Project CETI @projectceti.bsky.social under supervision of Professor Michael Bronstein @mmbronstein.bsky.social

Details & applications: my.corehr.com/pls/uoxrecru...

We asked the UNIQ summer school students if their experience at Oxford had been what they expected and this is what they had to say. If this sounds interesting to you, keep an eye on our socials for when applications open for next year’s programme.

A turquoise blue graphic with a sound wave going from left to right. Beneath this there is a small illustration of a sperm whale on it. In the background there are waves in varying shades of the turquoise blue to look like the ocean. There is also text on the graphic reading ‘Did you know you can use machine learning to listen to whale sounds deep in the ocean? Project CETI (Cetacean Translation Initiative) is using machine learning and robotics to listen to and translate the communication of sperm whales.’ and ‘#WorldListeningDay #CompSciOxford’

Did you know you can use machine learning to listen to whale sounds deep in the ocean? Project CETI projectceti.bsky.social is using ML with Professor Michael Bronstein mmbronstein.bsky.social ‬to listen to and decode the language of sperm whales. Happy #WorldListeningDay 🐋

A dark blue graphic with a bright blue box on it with text reading '‘The vulnerabilities Edd has discovered have immediate and significant implications for the security and resilience of critical government and commercial satellite systems.’ Professor Leslie Ann Goldberg, Head of the Department of Computer Science'. Beneath this, there are bright blue lines with dots attached that looks like a circuit board. At the bottom of the graphic there is white text reading '@compscioxford #CompSciOxford.

DPhil student Edd Salkield has received an MPLS Early Career Policy Impact Award for uncovering a flaw that could let attackers hijack satellites using off-the-shelf hardware. His research triggered rapid action from space agencies worldwide
www.cs.ox.ac.uk/news/2464-fu... @mplsoxford.bsky.social

Exponential rise of the AI hub powered by mathematics - Erlangen AI Hub When the EPSRC announced £100 million in funding for nine new AI research hubs in 2024, the Erlangen AI Hub took its first steps from a lofty concept towards becoming one of the UK’s foremost research...

The Erlangen AI Hub is well into its second year, and what a journey it has been! 🙌 🌟 Hot on the heels of our first major conference, we have lots to digest and even more to be excited about. Join us as we take a look back over our story so far 👇 erlangenhub.ox.ac.uk/exponential-...

A salmon pink graphic with the Department of Computer Science logo at the top left and text reading 'We’re hiring: AI Research Group Project Support Officer. Part time with 0.4FTE (15 hours/week) fixed-term contract up to 12 months with possible extension. Grade 6: £34,982 - £40,855 per annum pro-rata. Application Deadline: 12:00 29 August 2025. @compscioxford #CompSciOxford'. There are also lines and dots pointing to the text that look like a computer board.

Recruiting:
We're hiring an AI Research Group Project Support Officer to provide project and administrative support to the PI and research group. Previous applicants need not apply again.

For details & applications: my.corehr.com/pls/uoxrecru...

#CompSciOxford #recruiting #OxfordRecruitment

Last week we hosted the Computer Science students for the UNIQ summer school and this is what they had to say (watch out for more videos about their experience)! UNIQ is Oxford’s free access programme for UK state school students with good grades from backgrounds that are underrepresented at Oxford.

Graduate returns to city to promote Oxford University More than 800 pupils from across Bradford were invited to an event to learn more about studying.

It is lovely to see alumnus Hoa Duong inspiring the next generation to realise their potential. Hoa visited his home city of Bradford for a two-day festival to promote the University of Oxford @ox.ac.uk, encouraging others from Bradford to apply to study.

www.bbc.co.uk/news/article...

Lucy Ambache on BBC Radio Oxford - 12/07/2025 - BBC Sounds Start your weekend with the big stories of the day, guests and music with Lucy.

Professor Michael Wooldridge spoke on BBC Radio Oxford on Saturday about the benefits AI tools can have in our professional lives to improve productivity. The tools don't go without their warnings & Michael gave some useful tips for how best to use them (starts 2:36:35) www.bbc.co.uk/sounds/play/...

Nick Clegg: Don’t blame algorithms — people like fake news Nick Clegg said it is human nature to enjoy misinformation and thinks AI is the threat to watch, not social media algorithms

Have you ever believed fake news because of a convincing image or believable text? Professor Michael Wooldridge has suggested that watermarking AI-produced text and images could be a good idea to help combat the rise in fake news.

Read more: www.thetimes.com/uk/technolog...

A photograph of a beige building with beautiful white flowers in front of it and a blue gazebo on the top of the steps by the building. Beneath the image there is a block of text reading ‘Thank you for joining our Open Days’ with a green-grey background.

A green-grey background with text reading ‘1. Do I need Further Maths A-level? We strongly recommend Further Maths as the best preparation for our courses. 96% of A-level students who were offered places for Computer Science courses took Further Maths to A-level.’ At the bottom of the graphic there is an illustration of connected lines and dots that looks like a computer board, this continues lined up on the next graphic.

A green-grey background with text reading ‘2. What admissions test do I need to take? All students will need to take the Mathematical Admissions Test (MAT). You must register for your test by 19 September 2025 (6pm BST) and then book your test between the dates of 18 August to 26 September 2025 (6pm BST).’ At the bottom of the graphic there is an illustration of connected lines and dots that looks like a computer board, this continues lined up on the next graphic.

A green-grey background with text reading ‘3. Can you suggest any resources or materials for the MAT? The best way to prepare is to do lots of past papers and more maths. The more maths you do, the better you will get! To check out the syllabus, and past papers take a look at the University MAT page (ox.ac.uk/mat).’ At the bottom of the graphic there is an illustration of connected lines and dots that looks like a computer board.

Last week we welcomed around 1500 people into the department to get a taste of student life at Oxford for our Open Days. It was exciting to see the enthusiasm of the prospective Computer Science students and answer their questions. Thank you to all those who joined us!

#CompSciOxford #OxOpenDays

DPhil student Mihaela Stoian recognised with G-Research Prize Mihaela Stoian, a final-year DPhil student in Computer Science, has been awarded the Oxford PhD Runner-up Prize by G-Research.

DPhil student Mihaela Stoian @cmihaelastoian.bsky.social has been awarded the Oxford PhD Runner-up Prize by G-Research for her outstanding research focusing on neuro-symbolic methods. Congratulations Mihaela!

Read more about the award and Mihaela's research: www.cs.ox.ac.uk/news/2458-fu...

Participants aged 12-16 needed for research study:
Senior Researcher Jun Zhao & colleagues at @oii.ox.ac.uk, @mit.edu, & @cmu.edu are developing Algorithmic Mirror, a tool which will reveal hidden profiles that algorithms create about younger people online.
yuikondo.cargo.site/algorithmic-...

DPhil Jake Stein & Assoc Prof Reuben Binns' research into Uber’s algorithmic pricing has been presented in Parliament – a vital step in holding powerful platforms to account. As algorithmic systems increasingly shape how we work and what we pay, understanding their impact has never been more urgent.

A dark blue graphic with a white logo at the top for CRANE Cyber Security Research Network. Beneath the logo there is white text reading ‘Launch Webinar 22 July 2025, 11:00 – 12:30 Join us for the launch of CRANE – a new initiative to strengthen the UK’s cyber security research ecosystem. Guest speaker: Ollie Whitehouse CTO of the UK’s National Cyber Security Centre. Registration now open: crane.ac.uk'

CRANE is hosting its launch webinar on 22 July at 11:00 – 12:30, introducing and formally launching the CRANE Network, a UKRI-EPSRC funded NetworkPlus designed to strengthen the Cyber Security research ecosystem.

Registration: events.teams.microsoft.com/event/9a8316...

At the top of the image there is dark blue text reading ‘Welcome to our UNIQ+ Research Internship students’ with a grey-green background. Beneath this on the left, there is a photograph of the department building, which is beige and covered in windows, the building is surrounded by green foliage and under a bright blue sky. On the right there is white text reading ‘What are the 2025 UNIQ+ Research Internship programmes? Deep learning for statistical inference supervised by Associate Professor Seth Flaxman. Application of Machine Learning Methods to research problems in computational biology supervised by Professor David Gavaghan. When they run: 7 July to 21 August 2025’ with a dark blue background.

Welcome to the students joining us for the next seven weeks to study a Computer Science Research Internship with UNIQ+. The seven-week programme offers the opportunity to get a real day-to-day experience of postgraduate research at Oxford and will run from today to Thursday 21 August 2025.

Photo of Department of Computer Science sign with a blurry background of buildings and trees. In the foreground there is also the red UNIQ logo & text reading ‘Welcome UNIQ students! @compscioxford #compscioxford’.

Welcome to the Computer Science UNIQ students joining us today for the UNIQ summer school. UNIQ is Oxford’s free access programme for UK state school students with good grades from backgrounds that are underrepresented at @ox.ac.uk #UNIQ2025 #compscioxford