Formal Verification Engineer (Theorem Proving)
Updated: April 13, 2024 08:08 PM GMT
AtkinsRealis UK Limited
Silchester, ReadingJob 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
Similar Jobs
Companies Hiring in Silchester, England
A&G Resourcing Ltd
Elliott Group, Ebara Corp
Silchester Farm
Findtutors
EF English First
SNC-Lavalin
CNC Precision
CTS Logistics
SNC-Lavalin
undisclosed
Exemplar Health Care
Elysium Healthcare Limited
Sports Direct
SNC-Lavalin
ARC Management Systems
AtkinsRéalis
FindTutors
AtkinsRealis
Umbrellarz Limited
AtkinsRéalis
New Jobs Posted in Silchester, England
Latest Jobs in Silchester, England
-
Site Supervisor (SC)
Russell Taylor Group Ltd -
Part time job - Spanish Tutor in Silchester
Findtutors -
Senior Project Manager-Defence
AtkinsRealis French -
Safety Critical Software Principal Engineer
AtkinsRealis UK Limited -
Built Environment Project Manager
AtkinsRealis UK Limited -
Finance Manager - UK
Elliott Group, Ebara Corp -
Operations Coordinator
WR Logistics -
Repair Facility Engineer - Turbomachinery
Elliott Company -
Repair Facility Engineer - Turbomachinery
Elliot Group -
Safety Critical Software Principal Engineer
AtkinsRealis UK Limited