• Design high-performance systems that power a nationwide marketplace. • Build elegant, high-impact features using Python and Django. • Own the reliability of the stack with sophisticated automated testing. • Lead high-level code reviews and crush complex technical bottlenecks. • Partner across teams to turn ambitious product visions into reality. • Mentor rising talent and set the gold standard for engineering excellence.

• 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