PhD-Driven Formal Methods Engineer - Software Assurance
The Johns Hopkins University Applied Physics Laboratory
Turn this role into an interview — a resume and cover letter built around what this employer wants.
Job summary
The Johns Hopkins University Applied Physics Laboratory (APL) seeks a Software Assurance/Formal Methods Developer to advance formal verification techniques for national security systems. You will work with researchers and engineers to develop and apply formal methods tools and test their effectiveness on real-world problems.
You will contribute to research projects focused on formal verification of algorithms, improving code quality, eliminating software bugs, and formal specification
Qualifications
- PhD in Computer Science, Computer Engineering, Electrical Engineering, Applied Math, or a related field.
Responsibilities
- Solve problems to improve software assurance using static and dynamic analysis, language safety properties, symbolic execution, abstract interpretation, model checking, and automated and interactive theorem provers to tackle the nation's most pressing cyber security challenges.
- Explore techniques to support development of zero-defect software and systems.
- Work on research teams to improve software assurance theory and practice.
- Share knowledge by articulating ideas through papers and presentations to technical staff, management and Government decision makers.
- Join an environment that promotes professional growth and balanced life.
Skills
Education
Tools
Job description
The Johns Hopkins University Applied Physics Laboratory (APL) seeks a Software Assurance/Formal Methods Developer to advance formal verification techniques for national security systems. You will work with researchers and engineers to develop and apply formal methods tools and test their effectiveness on real-world problems.
You will contribute to research projects focused on formal verification of algorithms, improving code quality, eliminating software bugs, and formal specification
'/%3e%3cpath%20d='M101.744%2012.4726L102.894%2016.1947L99.0021%2013.2201L101.744%2012.4726ZM105.3%208.40937H100.488L99.0026%203.59473L97.5116%208.41047L92.7%208.40385L96.5965%2011.3834L95.1055%2016.1942L99.0021%2013.2196L101.408%2011.3834L105.3%208.40992V8.40937Z'%20fill='white'/%3e%3cdefs%3e%3clinearGradient%20id='paint0_linear_5593_1381'%20x1='90'%20y1='9.44471'%20x2='99'%20y2='9.44471'%20gradientUnits='userSpaceOnUse'%3e%3cstop%20stop-color='%2300AD70'/%3e%3cstop%20offset='0.998594'%20stop-color='%2300B67A'/%3e%3cstop%20offset='1'%20stop-color='%23DCDCE6'/%3e%3c/linearGradient%3e%3c/defs%3e%3c/svg%3e){kind=small}
