Formal Verification Engineer (Theorem Proving)

Updated: April 13, 2024 08:08 PM GMT

AtkinsRealis UK Limited

Silchester, Reading

Job Description

Leading the edge of transformation

You might know us for the great work we do across our wide variety of projects. We're proud to say it's thanks to our people's diversity of thought, expertise and knowledge. And when you join us, you'll be a part of this genuinely collaborative environment, where everyone's voice is valued and treated equally.
We're passionate about what we do, but we don't take ourselves too seriously. Simply put, this a great place to be. So, when it comes to your life outside of work, ask us about our flexible and remote working policies designed to help you get the most out of life.

Our Safety Critical Software Team

Step into a rewarding career with our Safety-Critical Software team. Our team specialise in consultancy, development and verification of software and programmable hardware in safety-critical and security-critical systems. We work on many of the UK's largest infrastructure programmes. The team prides itself on high-quality work... More Detail