Senior Embedded DevOps and Software Verification Engineer

Horizon Aircraft, Inc.; Ottawa; Hybrid; CAD 110,000 - 150,000; Full time

Benefits offered by this job

No Holiday Cap

Hybrid Work Options

Company Paid Group Benefits Plan

Company Stock Matching Program

Health Spending Account

Equity Awards

Job summary

Horizon Aircraft, Inc. in Ottawa is seeking a Senior Embedded DevOps and Software Verification Engineer to own and enhance the CI/CD pipelines, build systems, and verification practices for embedded flight software.

You will translate system requirements into verification tests, automate build/test processes, and drive coverage analyses (MC/DC/statement) while collaborating with systems and software teams. This role offers opportunities to advance in a small, energetic team with relocation

Qualifications

• BS in Computer Engineering, Electrical Engineering, Computer Science or related field.
• Minimum 8 years of real-time embedded software development or verification experience.
• Strong understanding of software configuration management and CI/CD methodologies.
• Hands-on experience building/maintaining CI/CD pipelines and build automation.
• Proficiency in Python and/or shell scripting for test automation and tooling.
• Experience with DO-178C verification and embedded systems.

Responsibilities

• Own and continuously improve CI/CD pipelines, build systems, and toolchains for embedded flight software.
• Design, develop, and maintain automated verification infrastructure for requirements-based testing on ARM targets.
• Translate system requirements into verification tests, procedures, and evidence per DO-178C.
• Develop scripts/tools to automate build, test, static analysis, and release processes.
• Measure and report verification metrics and drive closure of coverage gaps.
• Support integration of low-level software with model-based code from MATLAB/Simulink.

Skills

C/C++

CI/CD pipelines

Python scripting

Embedded systems

Test automation

Git/GitHub/GitLab

DO-178C verification

Education

BS in Computer Engineering, Electrical Engineering, or Computer Science

Tools

Jenkins

GitLab CI

Azure DevOps

MATLAB/Simulink

Job description

A career at Horizon is for those who want to do something extraordinary, yet with meaningful purpose. We take pride in pushing the boundaries of technology and customer experience to deliver something that has never been done before. We are a fast-moving organisation that promotes a hands-on approach, supporting each other through the tough spots, generating a close-knit team with a family feel.

What we do here is hard, but then very few things worth achieving are easy. By joining Horizon, you will have the opportunity to work with our world-class entrepreneurial team who are passionate about delivering something special.

What we need you to bring.

Horizon is seeking an open, enthusiastic Senior Embedded DevOps and Software Verification Engineer. Your role involves developing, maintaining and applying the engineering infrastructure and verification practices that demonstrate our embedded software meets its design and safety targets. Your role will be pivotal in determining how confident we can be in our platform’s readiness, and you will support the design team with creative ideas to make verification faster, more rigorous and more automated.

As we’re a small team, there is significant scope for you to advance your career and learn about adjacent disciplines.

Your Day-to-Day:

• Own and continuously improve the CI/CD pipelines, build systems, and toolchains used to compile, test, and release embedded flight software.
• Design, develop, and maintain automated test infrastructure for requirements-based verification of embedded software running on bare-metal ARM microcontroller targets.
• Partner with systems and software engineers to translate system-level requirements into verification test cases, test procedures, and objective test evidence consistent with DO-178C.
• Develop scripts and tools (Python, shell, etc.) to automate build, test, static analysis, structural coverage, and release processes across the software development lifecycle.
• Measure, analyze, and report on software verification metrics such as structural coverage (statement, decision, and MC/DC), data coupling, and control coupling, and drive closure of coverage gaps.
• Support integration and verification of low-level embedded software with model-based code generated through MATLAB Simulink.
• Assess, measure, troubleshoot, and resolve issues with software execution and characteristics such as worst-case timing and memory margin.
• Manage software configuration management (SCM) processes, version control workflows (Git/GitHub/GitLab), branching strategies, and change control across the software development project.
• Maintain and improve build and test environment reproducibility using containerization and/or virtualization technologies.
• Perform peer reviews of other team members’ software, test procedures, and verification artifacts.
• Author, review, release, and continuously improve software development, verification, and DevOps processes and plans.
• Excellent communication skills, both written and verbal, with both internal & external customers.
• High energy, self-motivated, organized, and detail-oriented; comfortable working independently and as a member of an integrated team.

Ideal candidates will have the following qualifications and experiences:

• BS in Computer Engineering, Electrical Engineering, Computer Science, or a related degree from an accredited university.
• Minimum 8 years of experience in real-time embedded software development and/or software verification using C or C++.
• Strong understanding of software configuration management and contemporary software build, integration, test, and deployment (CI/CD) methodologies.
• Hands‑on experience building and maintaining CI/CD pipelines and build automation (e.g., Jenkins, GitLab CI, Azure DevOps, or similar).
• Proficiency scripting in Python and/or shell for test automation, tooling, and infrastructure.
• Experience developing and executing requirements-based verification tests, including structural coverage analysis (statement, decision, and MC/DC).
• Experience in most of the following areas: hard real‑time systems, built‑in‑test, tasking and interrupts, RTOS, bare‑metal development, communication protocols (CAN, I2C, SPI).
• Comfortable reading electrical schematics, documentation, and datasheets.
• Experience with electronics lab equipment such as programmable power supplies, signal generators, oscilloscopes, and bus analyzers.
• Good team, communication, and leadership skills required.

About Your Future Team.

As part of the team, you will tackle challenges and deliver something that has never been done before. The team is currently full of multi‑skilled individuals. Come join our growing team in Ottawa! You will be one of the first specialist engineers to join us, which provides significant latitude in developing our working methods alongside needs of developing the platform.

Our Benefits.

People are the heart of our success, and we like to provide transparency in the way we operate. This is why our benefits are beyond the normal, and we are constantly trying to improve these further.

• No Holiday Cap
• Hybrid Work Options
• Company Paid Group Benefits Plan
• Company Stock Matching Program
• Health Spending Account
• Equity Awards

This is an incredible opportunity to be at the forefront of a ground‑breaking industry and work with a dynamic and innovative team. We offer a competitive salary, and the opportunity to work on some of the most exciting aerospace projects of our time.

Location.

This role will be based in the Ottawa area, with occasional travel to our main hangar in Lindsay, Ontario required. We offer relocation allowances in appropriate cases.