Formal Methods Engineer - Software Assurance & Verification

The Johns Hopkins University Applied Physics Laboratory; Laurel (MD); On-site; USD 100,000 - 245,000; Full time

Benefits offered by this job

Professional growth opportunities

Fun social activities

Balanced work-life environment

Job summary

The Johns Hopkins University Applied Physics Laboratory is looking for a motivated Software Assurance/Formal Methods Developer to work on critical systems impacting national security. The role involves using static and dynamic analysis and formal methods to improve software assurance practices.

Applicants should possess a Master’s degree in a relevant field, 2+ years of experience, and an understanding of a range of programming languages. The position offers a challenging work environment focused on innovation and teamwork.

Qualifications

• 2+ years of experience with formal methods, software assurance, or related fields.
• Ability to understand code in various programming languages.
• Ability to obtain a Top Secret security clearance.

Responsibilities

• Improve software assurance using formal methods.
• Participate in research projects utilizing formal methods tools.
• Devise algorithms and techniques for critical systems.

Skills

Formal methods expertise

Static analysis

Dynamic analysis

Symbolic execution

Code quality improvement

Education

Master's in Computer Science/related field

Tools

Coverity

Valgrind

KLEE

SPIN

Z3

Job description

The Johns Hopkins University Applied Physics Laboratory is looking for a motivated Software Assurance/Formal Methods Developer to work on critical systems impacting national security. The role involves using static and dynamic analysis and formal methods to improve software assurance practices.

Applicants should possess a Master’s degree in a relevant field, 2+ years of experience, and an understanding of a range of programming languages. The position offers a challenging work environment focused on innovation and teamwork.