3 of 3 Verification Engineer Jobs in Glamorgan

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 … 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 More ❯

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 … 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 More ❯

Verification Engineer - Safety Critical Software Cardiff, UK (Hybrid - 3 days on site per week) Salary: £60-70k per annum An industry-leading consultancy in the aerospace and defence space is building a brand-new division in the Cardiff region - and this is a fantastic opportunity to get in at the ground level. We're looking for Verification More ❯