Lead Formal Methods Engineer for Software Assurance

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

Benefits offered by this job

Generous benefits package

Education assistance program

Work/life balance

Social activities

Job summary

A leading research organization in Laurel, Maryland is seeking a Software Assurance/Formal Methods Developer to tackle pressing cybersecurity challenges through innovative research. The position requires a PhD in a relevant field and offers the opportunity to work on advanced formal methods to improve system assurance. The role involves collaboration with top experts and sharing insights through presentations. Candidates must be capable of obtaining security clearance and have an interest in improving system designs.

Qualifications

• PhD in Computer Science, Computer Engineering, Electrical Engineering or Applied Math.
• Internship experience with formal methods or software assurance.
• Experience with programming languages and developing software.

Responsibilities

• Solve problems to improve software assurance using static and dynamic analysis.
• Work on research teams to develop zero-defect software.
• Share knowledge through papers and presentations.

Skills

Experience with formal methods tools

Ability to understand code in programming languages

Interest in local limited travel

Familiarity with static and dynamic analysis

Education

PhD in Computer Science or related field

Tools

Coverity

Valgrind

KLEE

Z3

Rust

Java

Job description

A leading research organization in Laurel, Maryland is seeking a Software Assurance/Formal Methods Developer to tackle pressing cybersecurity challenges through innovative research. The position requires a PhD in a relevant field and offers the opportunity to work on advanced formal methods to improve system assurance. The role involves collaboration with top experts and sharing insights through presentations. Candidates must be capable of obtaining security clearance and have an interest in improving system designs.