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.

Requirements

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 with the full software development life cycle: requirements, use-cases, architecture, design, testing, integration, deployment, etc...
Experience contributing to Open Source Software (OSS)
Experience debugging complex kernel or hypervisor issues

Benefits

health insurance
flexible spending accounts
health savings accounts
retirement savings plans
life and disability insurance programs
paid and unpaid time away from work

Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard Skills & Tools

C programming languageRTOS developmentembedded programmingdevice driver programmingLinux kernel internalshypervisor technologiesXen hypervisorARINC 653POSIXsoftware development life cycle

Soft Skills

technical leadershipdocumentationperformance analysisreliability improvementstest proceduresproject planningexecutioncommunication

Certifications

Bachelor's degree