Senior Staff Security Engineer

Who you are

• 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
• 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

What the job involves

• 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

Benefits

• 100% of medical, dental, and vision premiums covered for employees
• Health insurance coverage begins first day of employment
• Health Savings Account
• Generous PTO policies to enable employees to recharge when needed
• An Employee Resource Program that provides mental health counseling services, legal guidance, financial resources, and other helpful consulting services
• 80% of the total medical, dental, and vision premiums covered for dependents
• 12 weeks of paid parental leave, 14 weeks for the birthing parent
• Access to a Dependent Care Account
• Access to a Health Flexible Spending Account
• Access to a Commuter Benefits Account
• Access to an Adoption Assistance Flexible Spending Account
• Stock options granted to all employees
• Stock equity education and tax advice service provided by Carta
• Company sponsored 401k
• Access to an annual budget for professional development
• License to complete Gallup’s Strengths Finder Assessment and ongoing resources
• 100% employer-sponsored coverage life insurance, and short and long-term disability policies