Verification Engineers – Static Analysis with MALPAS
Contract | Cardiff (Onsite) | Safety-Critical Systems
We’re looking for three Verification Engineers to join a project focused on static verification of safety-critical systems using MALPAS.
Key Details:
-
Tool: MALPAS (static analysis)
-
Work: Formal/static verification tasks on high-integrity systems
-
Background: A strong mathematical or analytical background is a big plus
-
Location: Must be happy working primarily onsite in Cardiff
-
Environment: Structured development (safety-critical or similar regulated sector preferred)
What We're Looking For:
-
Previous experience in software verification or validation (static or formal methods)
-
Exposure to or interest in high-integrity/safety-critical environments
-
Strong communication skills and ability to work in a small team
-
Solid academic background (STEM degree preferred)
Ideal for someone detail-focused, methodical, and comfortable working within a formal engineering process.
Get in touch if you're available and would like to discuss further.
