Verification Engineer Salaries in Maryland

Experience with formal methods tools and techniques, such as language safety properties, symbolic execution, abstract interpretation, model checking, automated…

$100,000 - $245,000 a year

As part of this commitment, the use of artificial intelligence (AI) or other tools to assist with responses during interviews (whether in-person or virtual) is…

$86,900 - $198,000 a year

Understanding or experience with formal methods tools and techniques, such as language safety properties, symbolic execution, abstract interpretation, model…

$105,000 - $245,000 a year

Review requirements, specifications, and technical design documents to provide timely and meaningful feedback. Perform deep root-cause analysis on issues found.

Design, develop, evaluate, and use custom test scripts/procedures to evaluate the effectiveness, readiness, and compliance of custom developed software in both…

Conduct system-level testing in controlled lab environments as well as field or over-the-air testing scenarios. Data analysis and reporting tools.