• Set the technical direction for the Athena clearing house by making the hard architectural calls on data validation pipelines, customer entitlement systems, workflow orchestration, upstream reconciliation, OSV publication, and coalition interfaces. Scale the team and the product area. • Define and drive the transition from rapid prototyping to a sustainable, production-grade product stack including observability, incident handling, and operational rigor • Partner with staff engineers to establish domain ownership and technical standards across the team • Lead the design of systems that process unstructured vulnerability reports from enterprise customers, deduplicate findings, and surface clean signals to the libraries remediation team • Identify and retire technical debt introduced during the team's high-velocity prototyping phase • Serve as a thought partner on build-vs-buy decisions, capacity planning, and long-term architectural bets • Contribute to a hiring bar that brings in engineers who can sustain serious output without burning out

• Set the technical direction for the Athena clearing house by making the hard architectural calls on data validation pipelines, customer entitlement systems, workflow orchestration, upstream reconciliation, OSV publication, and coalition interfaces. Scale the team and the product area. • Define and drive the transition from rapid prototyping to a sustainable, production-grade product stack including observability, incident handling, and operational rigor • Partner with staff engineers to establish domain ownership and technical standards across the team • Lead the design of systems that process unstructured vulnerability reports from enterprise customers, deduplicate findings, and surface clean signals to the libraries remediation team • Identify and retire technical debt introduced during the team's high-velocity prototyping phase • Serve as a thought partner on build-vs-buy decisions, capacity planning, and long-term architectural bets • Contribute to a hiring bar that brings in engineers who can sustain serious output without burning out

• Formally verify the highest-risk parts of the Monad implementation • Build and refine Rocq models of system designs and prove C++ implementation • Develop specifications and weakest-precondition proofs for production C++ • Strengthen theorem statements and proof automation

• Drives the definition and evolution of our architecture using Distributed Domain Driven Design practices. • Acts as the strategy leader for key Architecture Quality Attributes (e.g., Availability, Performance, Scalability, Securibility) to inform architecture assessments. • Provides project-embedded architecture consultation to promote best Practices, design patterns, and informed buy vs. build decisions. • Contributes to the prioritization of platform capability improvements across feature and data platforms. • Enhances the capture and communication of architecture descriptions through automation and innovative tools. • Shepherds platform-wide strategies, including naming, protocol standards, and design patterns, to ensure ongoing value creation. • Communicates complex technical concepts effectively in both written and spoken forms, catering to both technical and non-technical audiences. • Collaborates with stakeholders to build consensus when necessary, ensuring alignment on architectural decisions.