Johns Hopkins Applied Physics Laboratory
Laurel, Maryland
2026 PhD Graduate - Formal Verification and Software Assurance Engineer
Job details
- Location
- Laurel, Maryland
- Work type
- Onsite
- Compensation
- $105,000 - $245,000/yr
- Clearance
- Interim Clearances
- Posted
- Mar 5, 2026
- Apply on
- careers.jhuapl.edu
About this role
PhD in CS/CE/EE/Applied Math or related field; internship or graduate research in formal methods and software assurance; experience with formal methods tools; multi-language programming ability; willingness for local travel; eligible for Interim Top Secret clearance.
What you'll do at Johns Hopkins Applied Physics Laboratory:
- Solve problems
- Explore methods
- Collaborate teams
Apply to this 2026 PhD Graduate - Formal Verification and Software Assurance Engineer role at Johns Hopkins Applied Physics Laboratory with a tailored resume on ApplyBolt.