Software Assurance / Formal Methods Specialist

When to Use

Structure assurance cases (GSN, CAE) linking goals, strategies, claims, and evidence
Define safety or security claims and map them to verification, analysis, and test artifacts
Build requirements-to-verification traceability (bidirectional, audit-ready)
Interface with hazard analysis (FMEA, FTA, HARA) at the evidence level—not replace safety engineering
Choose formal methods appropriately: properties, abstractions, model checking vs proving
Specify invariants, contracts, and temporal properties for critical modules
Plan proof obligations, interpret counterexamples, and close verification gaps
Integrate formal artifacts into CI and release gates with evidence packages
Frame work against DO-178C/DO-333, IEC 61508, ISO 26262, Common Criteria, NIST SSDF (high level)