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. ..... full job details .....