> Markdown version of [/jobs/ext/3735845-software-architecture-and-certification-engineer](https://www.wearedevelopers.com/jobs/ext/3735845-software-architecture-and-certification-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).

---

# Software Architecture and Certification Engineer

- **Company:** GRID AERO
- **Location:** San Leandro, CA, United States
- **Experience:** Expert
- **Salary:** $150,000.0 - $200,000.0
- **Contract:** Permanent contract
- **Skills:** Static Program Analysis, Cyber Security, Software Architecture, Real-Time Operating Systems, Software Engineering, Verification and Validation (Software), Real Time Systems, Formal Methods, DO-178B, Devsecops
- **Published:** October 14, 2026
- **Apply:** https://www.indeed.com/viewjob?jk=e255ebe3c47b2f44

## About the Role

* First-principles thinker who finds the simplest path to the goal and thrives in a fast-paced environment
 * 5+ years of experience developing or architecting embedded or safety-critical software
 * Experience with real-time systems, RTOS, or software partitioning
 * Experience with DO-178C or similar software assurance standards
 * Experience taking software through certification or airworthiness approval preferred
 * Familiarity with formal methods or static analysis tools preferred
 * Nice to have: cybersecurity experience for embedded systems, RMF, or secure DevSecOps pipelines
 * Legal Requirement: Due to U.S. export control laws, candidates must be U.S. persons (U.S. citizens or lawful permanent residents).

## Description

* Define the partitioning and interfaces between flight-critical and non-critical software
 * Define software interfaces between all software and hardware elements at the aircraft system level down to the component level.
 * Write and own the software development plan and certification approach
 * Set software assurance levels and the verification and validation strategy with the safety lead
 * Evaluate tools and methods, including formal methods, that reduce verification effort
 * Work with GNC, avionics, and autonomy teams on interfaces and integration