Job Description
Johns Hopkins Applied Physics Laboratory (APL) seeks a Formal Verification and Software Assurance Engineer to advance high-assurance software for critical national security, space, and health missions. You will apply formal methods, rigorous analysis, and secure development practices to specify, model, and verify complex software and embedded systems. Collaborating with experts across IT and cybersecurity, you’ll develop assurance cases, automate proofs and model checking, and drive defect and …
