Skip to content
×

Student Researcher: ML & Formal Verification Intern

Job in Greater London, London, Greater London, W1B, England, UK
Listing for: Reasonable AI
Apprenticeship/Internship position Listed on 2026-11-15
Job specializations:
  • Research/Development
Salary/Wage Range or Industry Benchmark: 23000 - 32000 GBP Yearly GBP 23000.00 32000.00 YEAR

Job Description & How to Apply Below

Location: Greater London

Reasonable is seeking Student Researchers to join our industry-leading team for a 12–24 week program, contributing to formally-grounded software development and frontier model evaluations. You will run experiments, collaborate with senior researchers, and participate in high-level conversations in a fast-paced research setting.

We welcome PhD students in Formal Verification and ML or outstanding undergraduates with competitive programming and mathematics backgrounds.

Are you ready to take on the Student Researcher: ML & Formal Verification Intern role at Reasonable AI?

Our team is growing, and we are hiring a Student Researcher: ML & Formal Verification Intern in Greater London, England, United Kingdom.

This role is for the Student Researcher: ML & Formal Verification Intern role at Reasonable AI.

We are seeking a motivated Student Researcher: ML & Formal Verification Intern to join Reasonable AI in Greater London, England, United Kingdom.

To View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
View / Apply for Jobs
Matching My Jurisdiction

Search for further Jobs Here:

SEARCH JOBS: 10+ Million Listings
(Try combinations for better Results! Or enter less keywords for broader Results)
Education Level
Experience Level (years)
Posted in last:
Salary