Formal Verification Engineer Jobs in Florida (NOW HIRING)

Job Title: Specialist, Integration and Test Engineer

Job Code: 42561

Job Location: Melbourne, FL

Job Schedule: 9/80

Job Description:

L3Harris Technologies is seeking a talented Integration and Test Engineer to support the design, integration, verification, validation, documentation, and deployment of advanced systems and services. This engineer will help drive and champion test and evaluation processes for mission-critical programs and will be responsible for the development, coordination, implementation, and enforcement of test processes across hardware, software, and networked system environments.

The ideal candidate will have experience in Model-Based Systems Engineering (MBSE) and Model-Based Testing (MBT), including the use of Cameo Systems Modeler to support test development, requirements verification, traceability, and validation activities. This role will support programs serving the global aviation community with advanced systems and services that increase the safety, security, and capacity of air traffic management operations.

Essential Functions:

• Provide daily integration and test engineering support for mission-critical government and Department of Defense customers.
• Support system integration, troubleshooting, root cause analysis, and issue resolution across hardware, software, and communications systems.
• Develop, document, and execute integration, verification, and validation test procedures for complex systems.
• Use Cameo Systems Modeler and model-based systems engineering methods to support model-based testing, requirements verification, use case validation, and end-to-end traceability.
• Translate system models, behavioral diagrams, requirements, and operational scenarios into test cases, test procedures, and verification artifacts.
• Maintain bidirectional traceability between customer requirements, system models, test procedures, and test results.
• Coordinate with systems engineering, software engineering, network engineering, and project leadership to ensure complete verification coverage.
• Support automated and manual test execution in lab and system integration environments.
• Develop test scenarios and acceptance tests for system-level and subsystem-level requirements.
• Troubleshoot integration and test issues involving hardware, software, interfaces, networking, and communications components.
• Support formal test events, system verification activities, customer demonstrations, and acceptance testing.
• Identify opportunities to improve test efficiency through automation, improved test architecture, and model-based approaches.
• Contribute to continuous improvement of test processes, tools, and reporting methods.

Qualifications:

• Bachelor's Degree in Systems Engineering, Electrical Engineering, Computer Engineering, Computer Science, Software Engineering, Information Technology, or a related technical field preferred and a minimum of 4 years of prior relevant experience. Graduate Degree and a minimum of 2 years of prior related experience. In lieu of a degree, a minimum of 8 years of prior related experience.
• Minimum of three (3) years of experience in Integration & Test Engineering Background (System/Network Integration Testing)
• Experience performing formal systems testing in a lab, integration, or operational environment.
• Experience interpreting and validating system requirements and maintaining requirements traceability.
• Experience using Cameo Systems Modeler or similar model-based systems engineering tools.
• FAA Public Trust Clearance

Preferred Additional Skills:

• Experience in applying model-based systems engineering principles to system design, verification, or validation activities.
• Experience developing or supporting model-based testing approaches using system models, use cases, activity diagrams, sequence diagrams, state machines, or related artifacts.
• Experience translating requirements and system behavior into test procedures, test cases, and verification evidence.
• Ability to read and understand interface definitions, system architecture products, engineering drawings, and technical documentation.
• Experience working directly with Air Force, DoD, or government customers in fast-paced acquisition environments
• Background managing technical activities across multiple contractor teams and government stakeholders
• Experience with government requirements management systems (DOORS) and interface control processes
• Experience with Cameo Model-based Testing workflows and use of system models to derive or validate test cases.
• Experience with Unified Modeling Language (UML) and Systems Modeling Language (SysML).
• Experience with requirements management and traceability tools.
• Experience with verification cross-reference matrices and requirement coverage analysis.
• Experience integrating model-based systems engineering artifacts with verification and validation planning.
• Experience with automated testing tools or frameworks such as Selenium, PyTest, JUnit, Robot Framework, TestComplete, or similar tools.
• Experience with programming or scripting languages such as Python, Java, C#, JavaScript, Shell, or PowerShell.
• Familiarity with continuous integration and continuous delivery tools such as Jenkins or GitLab Continuous Integration.