Leads and/or contributes to activities to develop, document and maintain architectures, requirements, algorithms, interfaces and designs for software systems.
Develops code and integrates complex software components into a fully functional software system.
Contributes to hypervisor (i.e. Xen) deployment, configuration, and integration for safety-critical partitioned environments.
Supports runtime maturation efforts including performance analysis, determinism validation, and reliability improvements.
Develops software verification plans, test procedures and test environments, executing the test procedures and documenting test results to ensure software system requirements are met.
Provides technical leadership for software projects.
Plans, executes and documents software research and development projects.

Bachelor's degree
5+ Years professional development experience in the C programming language
3+ Years of professional experience developing in a RTOS development environment
2+ Years professional experience projects related to embedded, device driver, or Linux kernel internals programming
Some professional experience with hypervisor technologies (e.g. Xen, KVM) or partitioned operating environments
Experience with Xen hypervisor configuration and deployment
Experience with ARINC 653 and/or POSIX
Experience in any combination of the following additional languages – C++, Python, Rust
Experience with git, gcc, clang, bazel
Experience with Yocto or Buildroot build systems
Experience with bootloaders and boot chain configuration
Experience debugging complex kernel or hypervisor issues
Experience using docker/podman containers
Experience with CI/CD tooling such as Gitlab CI
Experience in aerospace and defense industry
Experience with estimating and costing new business.

Software Engineer, Mid-Level/Senior

Key skills