Formal Verification Software Assurance Engineer

Salary: $100,000 - 245,000 per year Requirements:

• Masters degree in Computer Science, Computer Engineering, Electrical Engineering, Applied Mathematics, or a related field.
• At least 2 years of professional experience or a mix of graduate research and practice in formal methods, software assurance, or similar domains.
• Familiarity with formal methods tools and techniques such as language safety properties, symbolic execution, abstract interpretation, model checking, automated theorem proving, programming language analysis, type theory, static code analysis, and formal logic.
• Proficient in understanding code across multiple programming languages and capable of developing software to demonstrate new analytical functionalities.
• Willingness to engage in local travel as needed.
• Must be able to acquire an Interim Top Secret security clearance by the start date and ultimately secure full Top Secret clearance, with eligibility for U.S. citizenship.
• Strong interpersonal skills with the ability to function both independently and collaboratively within a team.

• Address challenges to enhance software assurance through static and dynamic analysis, language safety properties, symbolic execution, and other formal methods to combat key cybersecurity issues.
• Investigate methods to develop zero-defect software and systems.
• Collaborate within research teams composed of leading experts to advance software assurance theory and practical applications.
• Partner with engineers and scientists dedicated to innovation and enhancing national defense.
• Engage in research projects that utilize formal methodologies to solve real-world challenges, focusing on algorithm verification, code quality improvement, and the analysis of cyber-physical systems.
• Create and refine algorithms, techniques, and new tools aimed at enhancing critical systems and reliable risk assessment.
• Evaluate system development data and results, demonstrating the advantages of formal methods and analytical tools in system development.
• Communicate insights through presentations and published papers targeted at technical staff, management, and governmental entities. Participate in working groups, proposal drafts, and conferences where applicable.
• Join an environment that fosters professional growth, work-life balance, and encourages technical skills development.
• Enjoy opportunities for social engagements such as weekly game nights and annual summer cookouts.

• Security
• Cryptography
• Support
• Java
• LESS
• Linux
• Network
• OCaml
• Rust
• Windows

More:

At the Johns Hopkins University Applied Physics Laboratory (APL), we deliver expert solutions to our nations foremost defense, security, science, and space challenges. Our focus extends beyond problem-solving to cultivating a supportive culture where employees can authentically express themselves, grow personally and professionally, and connect with inspiring colleagues. We value diverse perspectives and creativity, offering substantial benefits like educational assistance, excellent retirement plans, and a strong work-life balance. Our campus locates in the vibrant Baltimore-Washington metro area, providing a dynamic workplace for our staff.

last updated 35 week of 2026