207 jobs for "Formal Verification Engineer"

Senior Systems Integration & Test Engineer

At Leidos - Egg Harbor Township

Posted on Oct 20

View job Apply on company site

5G/4G Physical Layer Firmware Verification and Integration Engineer (m/f/d)

At Apple - München

Posted on Oct 19

View job Apply on company site

Intern, R&D Graduate Year Round - Formal Verification

At Sandia National Laboratories

Posted on Oct 18

View job Apply on company site

RTL2GDS Principal AE

At Cadence - San Jose

Posted on Nov 6

View job Apply on company site

2027 AI Research Associate Program - Internship

At JPMorgan Chase - New York

Posted on Oct 14

View job Apply on company site

Senior Systems Integration & Test Engineer

At Leidos - Gaithersburg

Posted on Oct 20

View job Apply on company site

Early Career - 5G/4G Physical Layer Firmware Verification and Integration Engineer (m/f/d)

At Apple - München

Posted on Oct 19

View job Apply on company site

Lead Design Engineer

At Cadence - Seoul

Posted on Nov 3

View job Apply on company site

Sr Design Engineer

At Cadence - Seoul

Posted on Nov 3

View job Apply on company site

Formal Verification Framework for Hardware IPs Validation

At Apple - London

Posted on Oct 19

View job Apply on company site

Sr. Design Engineer

At BD - Bengaluru

Posted on Oct 16

View job Apply on company site

Software Quality Engineer-Internship

At Flex - Milano

Posted on Nov 1

View job Apply on company site

Software Engineer – Emulation and Automated Test

At Intuitive - Sunnyvale

Posted on Nov 4

View job Apply on company site

Artificial Intelligence Research, Business Operations Lead

At JPMorgan Chase - New York

Posted on Oct 7

View job Apply on company site

Model-Based Systems Engineer

At Leidos - Huntsville

Posted on Sep 9

View job Apply on company site

Project Engineering Director HVDC

At GE Vernova - Noida

Posted on Sep 30

View job Apply on company site

System Verification and Validation Engineer- Multi-Technology Product Test

At Schneider Electric - Lake Forest

Posted on Jul 9

View job Apply on company site

Lead Engineer - Embedded SW Development

At GE Vernova - Hyderabad

Posted on Sep 28

View job Apply on company site

Artificial Intelligence Research Director - Executive Director

At JPMorgan Chase - New York

Posted on Jul 9

View job Apply on company site

Mechanical Design Engineer

At Intuitive - Sunnyvale

Posted on Sep 8

View job Apply on company site

Leidos

Senior Systems Integration & Test Engineer

Egg Harbor Township, NJ$107,900 – $195,050Posted 19 days ago

Apply on company site View full job

Description

Leidos is seeking a senior Test Engineer (Level 4) 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:

• Integrate, configure, and validate SkyLine-X KN-2 capabilities within both physical and virtual integration laboratories.

• Execute system integration, verification, and validation activities to ensure the system is properly configured and operating within the National Airspace System.

• Support formal customer demonstrations, verification events, and customer acceptance testing with KN-2 stakeholders.

• Collaborate with software, systems engineering, networking, and infrastructure teams to investigate, troubleshoot, and resolve complex system-level issues.

• Analyze integration and test results, identify root causes, and provide detailed technical documentation supporting issue resolution.

• Support deployment and integration activities at customer operational facilities, including Air Traffic Control Towers (ATCTs).

• Execute system interface testing and validate communications across internal and external interfaces.

• Coordinate integration activities with customer personnel and cross-functional Leidos engineering teams.

• Develop automated tools, scripts, and AI-assisted solutions that improve testing efficiency, reduce manual effort, and streamline repetitive tasks.

• Support remote deployment activities by coordinating with infrastructure, networking, and installation teams.

• Learn and maintain a deep understanding of SkyLine-X architecture, system functionality, interfaces, and operational workflows.

• Partner with Systems Engineering to develop integration and test strategies for new capabilities and system enhancements.

• Integrate services with databases, messaging systems, and external APIs.

• Troubleshoot networking issues, IP configurations, and interface connectivity.

• Demonstrate system capabilities during formal "run-for-record" events supporting customer acceptance and release readiness.

• Provide technical leadership and mentoring to junior integration engineers while helping ensure program milestones are successfully achieved.

• 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.

• 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 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 in Computer Science, Engineering, Information Systems, or a related technical discipline with 8+ years of relevant experience, or 6+ years with a related Master's degree. Equivalent experience may be considered.

• Experience integrating and testing large-scale, distributed software systems.

• Strong Linux/UNIX administration and troubleshooting experience.

• Experience with Python, Bash, or Shell scripting for automation and data analysis.

• Experience troubleshooting network configurations, connectivity, and distributed system interfaces.

• Experience developing automation solutions that improve engineering efficiency.

• Experience developing automation solutions that improve engineering efficiency. 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:

• Experience integrating mission-critical or highly available systems.

• Air Traffic Management domain experience.

• 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 13, 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 $107,900.00 - $195,050.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: Information Technology

View company profile