> Markdown version of [/jobs/ext/3013909-staff-software-systems-engineer](https://www.wearedevelopers.com/jobs/ext/3013909-staff-software-systems-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). --- # Staff Software Systems Engineer - **Company:** Form Energy - **Location:** Berkeley, CA, United States - **Experience:** Expert - **Salary:** $166,463.0 - $194,218.0 - **Contract:** Permanent contract - **Skills:** Software Debugging, Linux on Embedded Systems, Ethernet, Network Interface Controllers, Fault Tolerance, Firmware, Protocol Buffers, JSON, Software Architecture, Software Safety, Service-Oriented Architecture, Software Engineering, Software Systems, Systems Architecture, Wireshark, YAML, Safety Critical Systems, State Machines, Bare Metal - **Published:** September 20, 2026 - **Apply:** https://jobs.localjobnetwork.com/apply/add/87799129/1 ## About the Role * 8+ years of relevant experience in software engineering, embedded systems engineering, or product assurance, including 2+ years of technical leadership experience. * Demonstrated track record of delivering complex, production-grade embedded systems, safety-critical hardware/software, or service-oriented architectures at scale. * Fluency in architectural design, failure/risk analysis, and cross-functional communication (diagramming, explaining, and specifying on a near-real-time basis). * Strong foundation in discrete logic, mathematical modeling, or formal specification, with a demonstrated ability to implement executable specifications using structured data schemas (e.g., JSON Schema, Protobuf, YAML, CUE) rather than static documents. * Ability to collaborate across diverse, interdisciplinary stakeholders to achieve unified, highly robust hardware/software designs under tight deadlines. Preferred Qualifications: * For the Assurance/Lab Track: Hands-on experience reading bare-metal C code and performing deep diagnostic debugging using protocol analyzers (Wireshark) and embedded debuggers across CAN, SPI, Ethernet, or Embedded Linux/MPUs. * For the Formal Modeling Track: Direct capability to decompose complex programmable component safety requirements (e.g., UL 1998, UL 5500) into concrete software safety assertions. Experience with formal specification tools (like TLA+) is a major plus. ## Description The Software Systems Assurance team at Form Energy is growing! We coordinate the software architecture, requirements, and verification strategy for Multi-Day Energy Storage products that enable gigawatt-scale battery power plants., We are looking for a Staff Software Systems Engineer to act as the technical authority bridging complex software architecture, functional safety, and embedded hardware integration. Depending on your background, this role offers the opportunity to specialize in either Broad Systems Architecture (facilitating cross-team design of distributed, safety-critical systems) or Product Assurance & Formal Modeling (using MBSE/Requirements-As-Code to translate high-level security and safety specs into executable, version-controlled schemas and bare-metal execution)., * Systems Decomposition: Distill, organize, and document the architectural structures, state machines, and requirements of a grid-scale battery electric storage system (BESS), from grid command down to battery cell firmware. * Cross-Functional Architecture: Facilitate the design and implementation of a distributed, fault-tolerant, safety-critical system, bridging the gap between controls, electronics, and power systems engineers. * Model-Based Systems Engineering (MBSE): Transition system state machines, Functional Safety (FuSA) Hardware-Software Interfaces (HSI), and Interface Control Documents (ICDs) from static documents into version-controlled data schemas. * Formal Authoring, Translation & Verification: Author/translate high-level security specifications and functional safety hazard models (UL 1998/5500, ISO 21434) into verifiable execution contracts and deterministic rules. * Disambiguation: Get in the code to get answers. You will locate and resolve ambiguity across the system, showing up for the team when context or clarity is needed. ## Related Videos - [Security Pitfalls for Software Engineers](https://www.wearedevelopers.com/videos/726-security-pitfalls-for-software-engineers) - [The Gashlycrumb Tinies of AI Networking You Must Know (or Languish!)](https://www.wearedevelopers.com/videos/2067-the-gashlycrumb-tinies-of-ai-networking-you-must-know-or-languish) - [Tips and Tricks for Working with JSON](https://www.wearedevelopers.com/videos/1229-tips-and-tricks-for-working-with-json) - [CI/CD with Github Actions](https://www.wearedevelopers.com/videos/856-ci-cd-with-github-actions) - [Model Based Systems Engineering in an Agile Product Development Process](https://www.wearedevelopers.com/videos/68-model-based-systems-engineering-in-an-agile-product-development-process) - [Docker network without Docker](https://www.wearedevelopers.com/videos/1418-docker-network-without-docker) ## Related Articles - [How We Built a Worry-Free System That Runs for 10+ Years – And What We’d Do Again](https://www.wearedevelopers.com/magazine/751-how-we-built-a-worry-free-system-that-runs-for-10-years-and-what-we-d-do-again) - [What is Software Engineering?](https://www.wearedevelopers.com/magazine/289-what-is-software-engineering) - [Top Characteristics of a Software Engineer](https://www.wearedevelopers.com/magazine/166-top-characteristics-of-a-software-engineer) - [Is Software Engineering Hard?](https://www.wearedevelopers.com/magazine/448-is-software-engineering-hard) - [The Best Software Developer Blogs to Read](https://www.wearedevelopers.com/magazine/156-the-best-software-developer-blogs-to-read) - [Software Engineer Career: Things You Should Know](https://www.wearedevelopers.com/magazine/143-software-engineer-career-things-you-should-know)