> Markdown version of [/jobs/ext/124471-embedded-software-verification-engineer](https://www.wearedevelopers.com/jobs/ext/124471-embedded-software-verification-engineer). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md). --- # Embedded Software Verification Engineer - **Company:** Cyient, Inc. - **Location:** Windsor Locks, CT, United States - **Salary:** $90,000.0 - $110,000.0 - **Contract:** Permanent contract - **Skills:** Systems Engineering, Assembly Language, Computer Engineering, Embedded Software, Data-Flow Analysis, Formal Verification, Integrated Development Environments, Real-Time Operating Systems, Software Engineering, Software Requirements Analysis, Verification and Validation (Software), Strategies of Testing, Diagnostic Tools, Software Modules, Software Verification, Test Scripts, Software Troubleshooting, Infrastructure Automation Frameworks, DO-178B - **Published:** May 14, 2026 - **Apply:** https://www.indeed.com/viewjob?jk=b478d080bf0f4c36 ## About the Role Do you have experience in Technical troubleshooting support?, Cyient is seeking experienced Embedded Software Verification Test Engineers to support formal verification testing activities for the V2500A5 program within an ECS Systems/Software engineering environment. This role will focus on verification testing of embedded real-time software developed under DO-178A Level A processes in a highly regulated aerospace environment. This is a hands-on engineering role supporting multiple phases of software verification, including module testing, integrated module testing, simulator path testing, and closed-loop bench testing. The ideal candidate will have experience working with aerospace embedded systems, strong troubleshooting skills, and the ability to quickly adapt to proprietary tools and development environments., * Bachelor's degree in Software Engineering, Computer Engineering, Electrical Engineering, Systems Engineering, or related technical discipline * Experience supporting embedded real-time software verification and validation activities * Working knowledge of DO-178A or DO-178C software development and verification processes * Experience with module testing and requirements-based testing methodologies * Familiarity with assembly language and software data/control flow analysis * Experience developing and executing test scripts and procedures * Strong analytical, troubleshooting, and problem-solving skills * Ability to work onsite in Windsor Locks, CT * U.S. Citizenship required due to ITAR restrictions Preferred Qualifications * Aerospace or avionics software verification experience * Experience supporting electronic engine control systems or gas turbine engine applications * Familiarity with simulator and closed-loop bench testing environments * Experience with script configuration management tools * Exposure to proprietary aerospace development and verification toolsets * Experience working in lab environments utilizing logic analyzers and embedded diagnostic toolsEmbedded Software Verification Test Engineer - DO-178A Level A, * Bachelor's degree in Software Engineering, Computer Engineering, Electrical Engineering, Systems Engineering, or related technical discipline * Experience supporting embedded real-time software verification and validation activities * Working knowledge of DO-178A or DO-178C software development and verification processes * Experience with module testing and requirements-based testing methodologies * Familiarity with assembly language and software data/control flow analysis * Experience developing and executing test scripts and procedures * Strong analytical, troubleshooting, and problem-solving skills * Ability to work onsite in Windsor Locks, CT * U.S. Citizenship required due to ITAR restrictions Preferred Qualifications * Aerospace or avionics software verification experience * Experience supporting electronic engine control systems or gas turbine engine applications * Familiarity with simulator and closed-loop bench testing environments * Experience with script configuration management tools * Exposure to proprietary aerospace development and verification toolsets * Experience working in lab environments utilizing logic analyzers and embedded diagnostic tools ## Description * Develop, modify, and execute formal verification test procedures and scripts for embedded real-time software * Support V4 Module Test activities, including analysis of assembly language and data/control flow diagrams * Perform V5 Integrated Module Testing on integrated software modules * Execute V5 Simulator Path Testing utilizing simulator environments * Conduct V5 Closed-Loop Bench Path Testing using software requirements specifications and UI scripting tools * Generate and analyze test results and verification artifacts * Troubleshoot software and test environment issues in collaboration with the engineering team * Produce weekly status reports and participate in program meetings * Ensure all testing activities comply with DO-178A Level A standards and aerospace software processes * Work within lab environments supporting aerospace software verification activities ## Related Videos - [Agile work at CARIAD – Creating a customer web application for controlling the vehicle ](https://www.wearedevelopers.com/videos/200-agile-work-at-cariad-creating-a-customer-web-application-for-controlling-the-vehicle) - [20 Years of Domain-Driven Design: What I’ve Learned About DDD](https://www.wearedevelopers.com/videos/1571-20-years-of-domain-driven-design-what-i-ve-learned-about-ddd) - [Are Classical Automation Frameworks Dead? How AI Agents Are Transforming QA](https://www.wearedevelopers.com/videos/100243-are-classical-automation-frameworks-dead-how-ai-agents-are-transforming-qa) - [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it) - [WeAreDevelopers LIVE – Keeping Up with Styles, Data & More](https://www.wearedevelopers.com/videos/1803-wearedevelopers-live-keeping-up-with-styles-data-more) - [Fighting test flakiness with time machines](https://www.wearedevelopers.com/videos/834-fighting-test-flakiness-with-time-machines) ## Related Articles - [Where To Find Software Engineering Jobs](https://www.wearedevelopers.com/magazine/396-where-to-find-software-engineering-jobs) - [Where to Find Entry-Level Software Engineering Jobs](https://www.wearedevelopers.com/magazine/397-where-to-find-entry-level-software-engineering-jobs) - [Fully Remote Software Engineer Jobs](https://www.wearedevelopers.com/magazine/447-fully-remote-software-engineer-jobs) - [Is Software Engineering Hard?](https://www.wearedevelopers.com/magazine/448-is-software-engineering-hard) - [Is Software Engineering Over-Saturated?](https://www.wearedevelopers.com/magazine/418-is-software-engineering-over-saturated) - [What is Software Engineering?](https://www.wearedevelopers.com/magazine/289-what-is-software-engineering)