#CompSciOxford
LightNews LightNews
jalonso.eurosky.social
Will computers prove theorems? ~ Kevin Buzzard. youtu.be/LylJBfvVzyw #ITP #LeanProver #Math
Strachey Lecture: Will Computers prove theorems?
YouTube video by CompSciOxford
youtu.be
May 21, 2025 at 12:11 PM
jalonso.eurosky.social
Formalizing the future: Lean’s impact on mathematics, programming, and AI. ~ Leo De Moura. youtu.be/aF7IIWfXh3A #ITP #LeanProver #Math #CompSci #AI
Strachey Lecture: Formalizing the Future: Lean’s Impact on Mathematics, Programming, and AI
YouTube video by CompSciOxford
youtu.be
May 21, 2025 at 12:12 PM
compscioxford.bsky.social
Recruiting:
We're hiring Researcher Associates in Geometric ML to develop their own research programmes relevant to the activity of research group, reporting to Prof Michael Bronstein @mmbronstein.bsky.social.

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

#Recruiting @aithyra.bsky.social
A salmon pink graphic with the Department of Computer Science logo at the top left and text reading 'We’re hiring: Research Associates on Geometric ML. Full time fixed-term contract up to 2 years (ending not later than 30 September 2028). Grade 07RS: £39,424-£47,779 per annum inclusive of Oxford University weighting. Application Deadline: 12:00 27 May 2026. @compscioxford #CompSciOxford'. There are also lines and dots pointing to the text that look like a computer board.
May 7, 2026 at 7:51 AM
compscioxford.bsky.social
Are you interested in studying an MSc in Advanced Computer Science at the University of Oxford? Professor Michael Benedikt shared an academic overview for those considering the course: www.youtube.com/watch?v=UrQf...

Applications close noon UK time on 8 January.

#StudyAtOxford #CompSciOxford
Graduate Open Day 2024 Teams webinar recording
YouTube video by CompSciOxford
www.youtube.com
January 6, 2025 at 12:36 PM
compscioxford.bsky.social
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
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’.
July 7, 2025 at 10:54 AM
compscioxford.bsky.social
We’re wishing everyone the best of luck for A-level results day. 🍀 Please tag us in your celebrations if you’re #GoingToOxford! #Alevels #AlevelResults #AlevelResultsDay #ResultsDay
A blue grey graphic with blue text reading ‘Good luck for A-level results day!’ and ‘@compscioxford #compscioxford #GoingToOxford’. At the top right of the graphic, there are dark blue dots and lines that look like a computer board and behind the lines, the corner of the graphic is pale blue. A blue grey graphic with blue text reading ‘I'm going to study Computer Science at Oxford!’ and ‘@compscioxford #compscioxford #GoingToOxford’. At the top right of the graphic, there are dark blue dots and lines that look like a computer board and behind the lines, the corner of the graphic is pale blue.
August 14, 2025 at 8:40 AM
compscioxford.bsky.social
Recruiting:
We're hiring two Associate Professorships or Professorships of Computer Science (with Tutorial Fellowships) to start on 1 September 2027 as part of the University of Oxford’s @ox.ac.uk expansion in Computer Science.

Details & applications: my.corehr.com/pls/uoxrecru...
A salmon pink graphic with the Department of Computer Science logo at the top left and text reading 'We’re hiring: Two Associate Professorships or Professorships of Computer Science (with Tutorial Fellowships). Full time and permanent upon completion of a successful review. 30S: Combined salary £57,986 - £77,366 + substantial additional benefits. Application Deadline: 12:00 16 December 2026. @compscioxford #CompSciOxford'. There are also lines and dots pointing to the text that look like a computer board.
September 1, 2026 at 1:42 PM
compscioxford.bsky.social
Applications for our Royal Institution Masterclasses in Computer Science 2025 close on Friday 29 November! Students must be nominated by a teacher before completing an application. Learn more about the Masterclasses and how to apply: www.cs.ox.ac.uk/Masterclasses/
#CompSciOxford
A blue graphic with a photograph of people sat on the floor by a colourful mat and white text reading ‘Royal Institution Masterclasses in Computer Science Applications close on Friday 29 November’. Over the graphic there is a white and blue illustration of dots and lines that looks like a computer board. A blue graphic with text reading ‘What are the Royal Institution Masterclasses in Computer Science? The Masterclasses are a series of hands-on, extra-curricular activities designed to inspire and engage young people in Computer Science. Each session is led by enthusiastic speakers from industry, academia and education. Previous topics include: History of Computer Science. Turtle graphics. Solving logic problems. Exploring Spheros. Enigma Machines. @compscioxford #CompSciOxford’. A blue graphic with text reading ‘Who are the Royal Institution Masterclasses in Computer Science for? Year 9 students. From state-funded schools. In Oxfordshire, Berkshire, Swindon, Gloucestershire and Buckinghamshire. Teacher nominated. The Oxford Royal Institution Masterclasses in Computer Science are supported by Morgan Stanley and University of Oxford's Department of Computer Science. @compscioxford #CompSciOxford’. A blue graphic with text reading ‘What previous participants have said:’ then there are two green grey blocks with text reading ‘‘It has reinforced my desire to take it further for A level and eventually university’ and ‘‘Computer science is now a more broader term in my eyes as to what it covers, as reflected by the varying topics in the masterclasses’’. At the bottom of the graphic there is further text reading ‘@compscioxford #CompSciOxford’.
November 11, 2024 at 2:32 PM
compscioxford.bsky.social
Recruiting:
The deadline to apply for the role as Research Associate on Securing Convergent Ultra-large Scale Infrastructures, has been extended until 6 January 2025.

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

#CompSciOxford #recruiting #Oxfordrecruitment
A salmon pink graphic with the Department of Computer Science logo at the top left and text reading 'We’re hiring: Research Associate on Securing Convergent Ultra-large Scale Infrastructures. Full time fixed-term contract until 31 August 2026 (possibility to extend). Grade 7: £38,674 - £46,913 p.a. (potential to underfill at Grade 6: £34,982 - £40,855 p.a.). Application Deadline: 12:00 6 January 2025. @compscioxford #CompSciOxford'. There are also lines and dots pointing to the text that look like a computer board.
December 2, 2024 at 3:46 PM
compscioxford.bsky.social
Researchers Sebastian Köhler, Richard Baker, Ivan Martinovic, and Martin Strohmeier have been awarded for their research on EV charging security. Their 'Brokenwire' study reveals a wireless attack capable of interrupting EV charging. Learn more: www.cs.ox.ac.uk/news/2030-fu... #CompSciOxford
Electric Vehicles Vulnerable to Attack that Prevents Charging
www.cs.ox.ac.uk
January 15, 2025 at 9:47 AM
compscioxford.bsky.social
Recruiting:
We're hiring a Research Associate on AI Threat Detection to work within an interdisciplinary team of researchers.

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

#CompSciOxford #recruiting #Oxfordrecruitment
A salmon pink graphic with the Department of Computer Science logo at the top left and text reading 'We’re hiring: Research Associate on AI Threat Detection. Full time fixed term contract until 31 August 2026. Grade 7: £38,674 - £46,913 p.a. (potential to underfill at Grade 6: £34,982 - £40,855 p.a.). Application Deadline: 12:00 14 January 2025. @compscioxford #CompSciOxford'. There are also lines and dots pointing to the text that look like a computer board.
December 6, 2024 at 1:19 PM
compscioxford.bsky.social
Recruiting:
We're hiring a Departmental Lecturer in Computer Science to be responsible for teaching and supervising undergraduate and graduate students within the department.

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

#CompSciOxford #recruiting
A salmon pink graphic with the Department of Computer Science logo at the top left and text reading 'We’re hiring: Departmental Lecturer in Computer Science. Full time fixed-term contract for 5 years starting from 1 September 2025. Grade 8: Salary range between £48,235- £57,255 per annum. Application Deadline: 12:00 28 April 2025. @compscioxford #CompSciOxford'. There are also lines and dots pointing to the text that look like a computer board.
April 4, 2025 at 8:07 AM
compscioxford.bsky.social
DPhil student Julian Wyatt has won a challenge at #MICCAI2024, the International Conference on Medical Image Computing and Computer Assisted Intervention.

Read here: www.cs.ox.ac.uk/news/2393-fu...

#CompSciOxford
A dark blue graphic with a grey-green box on it with text reading '‘This accomplishment means our model is now better at recognising landmarks in new x-ray domains.’ DPhil student Julian Wyatt’. To the left of the text there is a circular picture of DPhil student Julian Wyatt. Beneath this, there are grey-green lines with dots attached that looks like a circuit board. At the bottom of the graphic there is white text reading '@compscioxford #CompSciOxford.
November 21, 2024 at 10:20 AM
compscioxford.bsky.social
Recruiting:
We're hiring a Research Associate in Computational Methods for Climate & Child Health to help lead an ongoing multiyear programme of methodological research linking climate science with child health and wellbeing.
Details & applications: my.corehr.com/pls/uoxrecru...
@flaxter.bsky.social
A salmon pink graphic with the Department of Computer Science logo at the top left and text reading 'We’re hiring: Research Associate in Computational Methods for Climate and Child Health. Full time fixed term contract for 1 year. Grade 07RS: £39,424-£43,984 per annum inclusive of Oxford University weighting. Application Deadline: 12:00 27 May 2026. @compscioxford #CompSciOxford'. There are also lines and dots pointing to the text that look like a computer board.
May 15, 2026 at 8:34 AM
compscioxford.bsky.social
Welcome to Trinity term, we’re wishing good luck to all for this academic season! 📚 #compscioxford #Trinityterm #OxfordUni #UniversityofOxford
A faded photograph of cream coloured buildings and a blue sky with trees. In the foreground there is text over a green-grey box reading ‘Welcome to Trinity term’ and ‘@compscioxford #compscioxford’.
April 26, 2026 at 2:02 PM
compscioxford.bsky.social
It is now only 2 weeks until Prof Rafail Ostrovsky (UCLA) will be delivering our next Strachey Lecture ‘Advances in Garbled Circuits’ on 21 October.

Book now: www.eventbrite.com/e/strachey-l...

The Strachey Lectures are generously supported by OxFORD Asset Management. #CompSciOxford #OxStracheyLec
A grey-blue background with text reading ‘Strachey Lecture: ‘Advances in Garbled Circuits’ Professor Rafail Ostrovsky Date and time: 21 October 2025 15:00 Location: Museum of Natural History. The Strachey Lectures are generously supported by OxFORD Asset Management’. There is a logo for OxFORD Asset Management at the bottom of the graphic and further text reading ‘@compscioxford #CompSciOxford’. On the left of the graphic there are dark blue dots and lines that look like a computer board, and on the right of the graphic there is a circular photograph of Professor Rafail Ostrovsky.
October 7, 2025 at 8:45 AM
compscioxford.bsky.social
Recruiting:
We're hiring a Senior Research Associate on AI Cybersecurity to work within an interdisciplinary team on AI cybersecurity research, reporting to the Principal Investigator.

For details & applications: my.corehr.com/pls/uoxrecru...
#CompSciOxford #recruiting #Oxfordrecruitment
A salmon pink graphic with the Department of Computer Science logo at the top left and text reading 'We’re hiring: Senior Research Associate on AI Cybersecurity. Full time fixed term contract until 31 March 2026. Grade 8: £48,235- £54,066 per annum (potential to under-fill at Grade 7: £38,674 - £46,913 p.a.). Application Deadline: 12:00 21 January 2025. @compscioxford #CompSciOxford'. There are also lines and dots pointing to the text that look like a computer board.
January 14, 2025 at 12:44 PM
compscioxford.bsky.social
Recruiting:
We're hiring a Research Associate on AI Cybersecurity to work on interdisciplinary work at the Global Cyber Security Capacity Centre (GCSCC) in the department.

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

#CompSciOxford #recruiting #Oxfordrecruitment
A salmon pink graphic with the Department of Computer Science logo at the top left and text reading 'We’re hiring: Research Associate on AI Cybersecurity. Full time fixed term contract until 31 March 2026. Grade 7: £38,674 - £46,913 p.a. (potential to underfill at Grade 6: £34,982 - £40,855 p.a.). Application Deadline: 12:00 21 January 2025. @compscioxford #CompSciOxford'. There are also lines and dots pointing to the text that look like a computer board.
January 10, 2025 at 3:58 PM
compscioxford.bsky.social
Professor Michael Wooldridge has commented on the new Chinese artificial intelligence platform DeepSeek, and advised those using the platform against putting sensitive information into it.

Read more: www.theguardian.com/technology/2...

#CompSciOxford
Experts urge caution over use of Chinese AI DeepSeek
Oxford professor advises against putting private data on platform in case it could be shared with Chinese state
www.theguardian.com
January 28, 2025 at 3:20 PM
compscioxford.bsky.social
Recruiting:
We're hiring a Research Associate on Securing Convergent Ultra-large Scale Infrastructures.

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

#CompSciOxford #recruiting #Oxfordrecruitment
A salmon pink graphic with the Department of Computer Science logo at the top left and text reading 'We’re hiring: Research Associate on Securing Convergent Ultra-large Scale Infrastructures. Full time fixed term contract until 31 August 2029. Grade 7: £38,674 - £46,913 p.a. (potential to underfill at Grade 6: £34,982 - £40,855 p.a.). Application Deadline: 12:00 6 January 2025. @compscioxford #CompSciOxford'. There are also lines and dots pointing to the text that look like a computer board.
December 5, 2024 at 12:51 PM
compscioxford.bsky.social
Recruiting:
We're hiring a Senior Research Associate on AI Threat Detection to work within an interdisciplinary team of researchers.

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

#CompSciOxford #recruiting #Oxfordrecruitment
A salmon pink graphic with the Department of Computer Science logo at the top left and text reading 'We’re hiring: Senior Research Associate on AI Threat Detection. Full time fixed term contract until 31 August 2026. Grade 8: £48,235- £57,255 per annum (potential to under-fill at Grade 7: £38,674 - £46,913 p.a.). Application Deadline: 12:00 14 January 2025. @compscioxford #CompSciOxford'. There are also lines and dots pointing to the text that look like a computer board.
December 9, 2024 at 4:41 PM
compscioxford.bsky.social
Recruiting:
The deadline for the role as Research Associate on Securing Convergent Ultra-large Scale Infrastructures, has been extended until 13 January 2025.

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

#CompSciOxford #recruiting #Oxfordrecruitment
A salmon pink graphic with the Department of Computer Science logo at the top left and text reading 'We’re hiring: Research Associate on Securing Convergent Ultra-large Scale Infrastructures. Full time fixed term contract until 31 August 2029. Grade 7: £38,674 - £46,913 p.a. (potential to underfill at Grade 6: £34,982 - £40,855 p.a.). Application Deadline: 12:00 13 January 2025. @compscioxford #CompSciOxford'. There are also lines and dots pointing to the text that look like a computer board.
January 9, 2025 at 9:14 AM
compscioxford.bsky.social
Our Discover Computer Science applications close on the 25th of October! Make sure you get your applications in soon. Learn more about the programme and how to apply here: www.cs.ox.ac.uk/DiscoverComp... #CompSciOxford
A photograph of a white robot looking into the lens in front of a beige coloured brick building. On top of the photograph, there is a block of white text with a blue border reading ‘Deadline reminder for Discover Computer Science: 25 October’. A dark blue graphic with white text reading ‘What is Discover Computer Science? A Computer Science and Christ Church Outreach Initiative. For Year 11 (15–16 year olds, Scottish S5 or NI Y12) students. Black and mixed heritage. Female students. State-funded schools in the UK. Are academically strong. @compscioxford #compscioxford’. A dark blue graphic with white text reading ‘What previous participants have said:’ beneath this there are three green-grey blocks of colour with blue text reading ‘‘I enjoyed being talked through the solution and not just being told the answer’ ‘The best part of the session was the collaborative work we did to collect data about the problem’ ‘the teachers were very welcoming’’. At the bottom of the graphic, there is further white text reading ‘@compscioxford #compscioxford’.
October 18, 2024 at 9:56 AM
compscioxford.bsky.social
It's one month until the Strachey Lecture ‘Privacy, Verification, Robustness: A Cryptographer's perspective on ML’ with Professor Shafi Goldwasser on 4 March. Book: www.eventbrite.co.uk/e/strachey-l...

The Strachey Lectures are generously supported by OxFORD Asset Management. #CompSciOxford
A grey-blue background with text reading ‘Strachey Lecture: ‘Privacy, Verification, Robustness: A Cryptographer's perspective on ML’ Professor Shafi Goldwasser Date and time: 4 March 2025 11:00 Location: Oxford University Museum of Natural History. The Strachey Lectures are generously supported by OxFORD Asset Management’. There is a logo for OxFORD Asset Management at the bottom of the graphic and further text reading ‘@compscioxford #CompSciOxford’. On the left of the graphic there are dark blue dots and lines that look like a computer board, and on the right of the graphic there is a circular photograph of Professor Shafi Goldwasser.
February 4, 2025 at 9:50 AM
compscioxford.bsky.social
Recruiting:
We're hiring a Departmental Lecturer in Computer Science to undertake teaching (primarily practicals and classes, and lectures if required), supervising, and providing pastoral care for undergraduate and graduate students.

For details & applications: my.corehr.com/pls/uoxrecru...
A salmon pink graphic with the Department of Computer Science logo at the top left and text reading 'We’re hiring: Departmental Lecturer in Computer Science. Full time fixed-term for 2 years starting from 1 September 2025. Grade 7: Salary £38,674 – £46,913 p.a.. Application Deadline: 12:00 14 March 2025. @compscioxford #CompSciOxford'. There are also lines and dots pointing to the text that look like a computer board.
February 21, 2025 at 10:02 AM