112 jobs for "Formal Verification Engineer"

Lead Systems Integration & Test Engineer

At Leidos - Gaithersburg

Posted on Oct 20

View job Apply on company site

RTL Design Engineer

At Apple - Austin

Posted on Oct 19

View job Apply on company site

Lead Systems Integration & Test Engineer

At Leidos - Egg Harbor Township

Posted on Oct 20

View job Apply on company site

RTL Design Engineer

At Apple - Beaverton

Posted on Oct 19

View job Apply on company site

RTL Design Engineer

At Apple - Cupertino

Posted on Oct 19

View job Apply on company site

Systems Integration & Test Engineer

At Leidos - Gaithersburg

Posted on Oct 20

View job Apply on company site

Systems Integration & Test Engineer

At Leidos - Egg Harbor Township

Posted on Oct 20

View job Apply on company site

RTL Design Engineer

At Apple - San Diego

Posted on Oct 19

View job Apply on company site

Mixed-Signal Behavioral Modeling Engineer

At Apple - Beaverton

Posted on Oct 11

View job Apply on company site

RTL Design Engineer

At Apple - Cupertino

Posted on Oct 17

View job Apply on company site

RTL Design Engineer

At Apple - San Diego

Posted on Oct 17

View job Apply on company site

RTL Design Engineer

At Apple - Austin

Posted on Oct 17

View job Apply on company site

Leidos

Lead Systems Integration & Test Engineer

Gaithersburg, MD$87,100 – $157,450Posted 19 days ago

Apply on company site View full job

Why you should apply for a job to Leidos:

Ranked as one of the Best Technology Companies in 2024
4.1/5 in overall job satisfaction
4.3/5 in supportive management
70% say women are treated fairly and equally to men
85% would recommend this company to other women
85% say the CEO supports gender diversity

Ratings are based on anonymous reviews by Fairygodboss members. See all reviews ›

Description

Leidos is seeking a senior Test Engineer (Level 3) to serve as a lead member of a dynamic team supporting the SkyLine-X KN-2 program. This position leads the verification, validation, and qualification of advanced systems, focusing on testing methodologies and systems integration to evaluate Air Traffic Control (ATC) modernization initiatives. The selected candidate will design, implement, and maintain test frameworks and procedures in alignment with systems assurance, safety, and performance standards. The team leverages Artificial Intelligence (AI) and Machine Learning (ML) techniques to enhance test, and experience applying these approaches is highly valued.

Responsibilities:

Working both as a member of a team and independently, the successful candidate will:

• Serve as a technical lead for systems and software integration in support of Development Test (DT) and Formal Test execution on the SkyLine-X KN-2 program.

• Lead the design, development, and maintenance of test frameworks for the verification and validation (V&V) of complex, safety-critical systems.

• Integrate complex systems and software with minimal oversight, and debug system-level issues while providing detailed supporting data on identified issues.

• Develop and maintain test approach and procedures derived from system-level requirements (A-Level, SSS), including system-level and component-level test procedures, test cases, and data sets.

• Conduct root cause analysis and defect resolution in coordination with software and systems engineering teams.

• Execute integration testing of distributed, safety-critical systems using containerized or virtualized environments (e.g., Docker, Podman), and manage VMs and dev containers.

• Develop and maintain test artifacts and documentation, including the Verification Requirements Test Matrix (VRTM), traceability matrices, and test reports.

• Interface with SkyLine-X KN-2 software, systems engineering, and integration/logistics teams in support of installation and integration efforts.

• Clearly communicate and generate briefings to report status to both internal and customer stakeholders, and support test readiness reviews and system qualification events.

• Actively participate in daily stand-ups, Sprint Planning, Release Planning, and other Agile team activities.

• Work overtime, off hours, or weekends if necessary to meet deadlines, and be able to support travel.

Qualifications:

• Bachelor's degree from an accredited college in Computer Science, Systems Engineering, Electrical Engineering, or a related discipline, or equivalent experience/combined education, with 8+ years of professional experience.

• The engineer should have working knowledge of test automation, including the use of automated test frameworks and scripts (e.g., Squish, Selenium, PyTest, Robot Framework) to run repeatable tests. A general familiarity with integrating automated tests into CI/CD pipelines to support regression coverage is helpful.

• The team uses Artificial Intelligence and Machine Learning techniques to help enhance test automation, such as assisting with test case generation or flagging anomalies in results. Some familiarity with these AI-assisted testing approaches and Claude Code is a plus, though not required.

• Demonstrated experience in testing, test framework development, and system-level verification of complex or safety-critical systems.

• Systems Engineering experience, including proven experience working on complex projects gathering user requirements and converting them into system requirements.

• Proficiency with scripting languages.

• Experience with Linux or Unix-based environments, containerization (Docker, Podman), and CI/CD pipelines.

• Technical leadership experience in a role requiring significant coordination across multiple functional areas (e.g., Software, Hardware, Systems Engineering).

• Excellent verbal and written communication skills, including experience working directly with customers to discuss requirements and objectives.

• Strong analytical and problem-solving skills, with the ability to work effectively in a team environment.

Desired Skills:

• Familiarity with requirement decomposition to develop A-Level test approach and procedures.

• Familiarity with the Atlassian Tool Suite and JIRA.

• Familiarity with Model-Based Systems Engineering (MBSE) and system integration V&V processes.

• Knowledge of microservices architectures, message brokers, RESTful API testing, and Chaos Testing principles.

• Knowledge of test tools (e.g., Selenium, Sikuli, Squish) and simulation or test-harness frameworks.

• Familiarity with NextGen Air Traffic Control modernization programs.

• Experience preparing and executing Verification Cross Reference Matrices (VCRM) and Test Readiness Review (TRR) documentation.

ATMC

If you're looking for comfort, keep scrolling. At Leidos, we outthink, outbuild, and outpace the status quo - because the mission demands it. We're not hiring followers. We're recruiting the ones who disrupt, provoke, and refuse to fail. Step 10 is ancient history. We're already at step 30 - and moving faster than anyone else dares.

Original Posting:

October 8, 2026

For U.S. Positions: While subject to change based on business needs, Leidos reasonably anticipates that this job requisition will remain open for at least 3 days with an anticipated close date of no earlier than 3 days after the original posting date as listed above.

Pay Range:

Pay Range $87,100.00 - $157,450.00

The Leidos pay range for this job level is a general guideline only and not a guarantee of compensation or salary. Additional factors considered in extending an offer include (but are not limited to) responsibilities of the job, education, experience, knowledge, skills, and abilities, as well as internal equity, alignment with market data, applicable bargaining agreement (if any), or other law.

About Leidos

Leidos is an industry and technology leader serving government and commercial customers with smarter, more efficient digital and mission innovations. Headquartered in Reston, Virginia, with 47,000 global employees, Leidos reported annual revenues of approximately $16.7 billion for the fiscal year ended January 3, 2025. For more information, visit www.Leidos.com.

Pay and Benefits

Pay and benefits are fundamental to any career decision. That's why we craft compensation packages that reflect the importance of the work we do for our customers. Employment benefits include competitive compensation, Health and Wellness programs, Income Protection, Paid Leave and Retirement. More details are available at www.leidos.com/careers/pay-benefits.

Securing Your Data

Beware of fake employment opportunities using Leidos' name. Leidos will never ask you to provide payment-related information during any part of the employment application process (i.e., ask you for money), nor will Leidos ever advance money as part of the hiring process (i.e., send you a check or money order before doing any work). Further, Leidos will only communicate with you through emails that are generated by the Leidos.com automated system - never from free commercial services (e.g., Gmail, Yahoo, Hotmail) or via WhatsApp, Telegram, etc. If you received an email purporting to be from Leidos that asks for payment-related information or any other personal information (e.g., about you or your previous employer), and you are concerned about its legitimacy, please make us aware immediately by emailing us at LeidosCareersFraud@leidos.com.

If you believe you are the victim of a scam, contact your local law enforcement and report the incident to the U.S. Federal Trade Commission.

Commitment to Non-Discrimination

All qualified applicants will receive consideration for employment without regard to sex, race, ethnicity, age, national origin, citizenship, religion, physical or mental disability, medical condition, genetic information, pregnancy, family structure, marital status, ancestry, domestic partner status, sexual orientation, gender identity or expression, veteran or military status, or any other basis prohibited by law. Leidos will also consider for employment qualified applicants with criminal histories consistent with relevant laws.

About Leidos

https://www.leidos.com/

Size: 10,000+ employees
Industry: Technology: B2B Tech Services

View company profile