Verification Engineers – Static Analysis with MALPAS

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.

• 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)

• 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.