Formal Verification & Software Assurance Engineer

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

Benefits offered by this job

Robust education assistance program

Unparalleled retirement contributions

Healthy work/life balance

Job summary

A leading applied physics laboratory is seeking a motivated Software Assurance/Formal Methods Developer. The role involves solving complex problems in software assurance using various formal methods techniques. Candidates should possess a Master's degree in a related field and have at least 2 years of relevant experience. Responsibilities include collaborating with research teams and sharing findings through publications. This position offers competitive compensation ranging from $100,000 to $245,000 annually, along with a supportive work environment and employee benefits.

Qualifications

• 2+ years experience with formal methods or related areas.
• Ability to understand code in various programming languages.
• Strong interpersonal skills for teamwork.

Responsibilities

• Solve problems using static and dynamic analysis.
• Work with research teams on software assurance.
• Share knowledge through papers and presentations.

Skills

Formal methods

Static analysis

Dynamic analysis

Programming skills

Education

Master’s in Computer Science or related field

Tools

Coverity

Valgrind

KLEE

SPIN

Job description

A leading applied physics laboratory is seeking a motivated Software Assurance/Formal Methods Developer. The role involves solving complex problems in software assurance using various formal methods techniques. Candidates should possess a Master's degree in a related field and have at least 2 years of relevant experience. Responsibilities include collaborating with research teams and sharing findings through publications. This position offers competitive compensation ranging from $100,000 to $245,000 annually, along with a supportive work environment and employee benefits.