Rodeo
Get started

Spectrum IT Recruitment

Formal Methods Engineer

Oxfordshire
£50k – £70k/yr
Posted about 22 hours ago
Sign up to applySee more jobs like this
Get notified of more jobs like this · No spam, ever

How your CV stacks up

1Upload CV
2Analyse CV
3Improve CV

Upload your CV to see how well it fits this job role

?%

Formal Methods Engineer

Location: Oxfordshire offices + hybrid working options

We’re looking for a Formal Methods Engineer to join a growing engineering team working on complex, high-assurance software systems.

You’ll use formal methods, mathematical reasoning and verification techniques to solve challenging engineering problems and help demonstrate that software behaves as intended. You’ll work closely with software, systems and verification engineers, with plenty of scope to apply your technical knowledge rather than simply follow a process.

Reasons to use Rodeo

I’m in my final year doing Economics and I don’t know whether to apply for grad schemes now or do a masters first. What do you think?

Honest answer — it depends on where you want to end up. A lot of top grad schemes (Big 4, civil service, banking) don’t need a masters. Let’s look at the ones you’d be competitive for now, and we can decide if a masters actually adds anything.

Also worth knowing: most autumn 2026 applications are open now. Timing matters more than you think.

Start with a chat, not a search bar

Grad scheme, placement, apprenticeship? Not sure what you want yet — that's fine. Your agent talks it through with you and turns "I have no idea" into a shortlist.

P

Graduate Consultant — 2026 Scheme

PwC·London, UK
£35,000/yr

Why you're a good match

Strong

Your economics background and your summer at a regional bank line up with what PwC looks for on the consulting scheme. Applications close in four weeks.

See breakdown
Save jobNot relevant
View details

It searches the market for you

Every day your agent scans the market matching roles against what actually matters to you, not just keywords on a CV.

Why you're a good match

You’ve got the grades and the economics background, and your bank internship is exactly the experience this scheme looks for. Apply soon — deadlines close within the month.

See breakdown
Strong

Experience fit

Your summer at the bank plus your econometrics coursework map directly to the day-one responsibilities on this scheme — client modelling, market briefings, and deal support.

See breakdown
Strong

Only hits

No noise. No "maybe this fits." Just roles with a clear explanation of why they're right — and where to focus when applying.

You’ll be involved in:

  • Developing and reviewing formal specifications, models and proofs, using techniques such as formal verification, model checking and theorem proving.
  • Supporting requirements, verification and software assurance activities across the development lifecycle.
  • Investigating complex technical problems and working with engineers to identify issues and develop practical solutions.

Get help with your application

Your very own career expert that helps elevate your application to the next level.

Get help applying for this job

We’re looking for:

  • Experience in formal methods, formal verification or a related field
  • Strong mathematical, analytical and problem-solving skills
  • Experience with tools or languages such as SPARK, Ada, TLA+, Dafny, Isabelle, Coq, Lean, Z, Alloy or similar

Please apply to this advert or email your CV direct to AmyLee@SpectrumIT.co.uk

Please note, sponsorship is not available for this role.

Trusted by 25,000+ job seekers

“It took my CV and asked me questions relevant to understanding what kind of jobs to suggest for me. Suggestions were almost perfect. Jobs were exactly what I’ve been looking for.”

Jessica, London

Get help applying for this job

Location

Oxfordshire, England, United Kingdom

Sign up to applySee more jobs like this