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

• Develop features at the edge between the frontend and backend • Create and manage data pipelines for processing OpenAPI documents • Manage and improve our typescript microservice ecosystem • Mentor junior developers and participate in planning and review for backend services

• Design and build high-quality APIs and services for our experimentation platform and recommendation/personalization systems — experiences that are reliable, performant, and genuinely useful to product teams and members. • Work with AI (Claude Code) as a first-class collaborator — your primary workflow involves orchestrating agents to create specs, generate code and tests, verify results, and perform reviews. • Help define and codify AI-Native engineering practices for the team, establishing playbooks the broader org can adopt. • Build across the backend stack as needed — shipping polished, performant, and reliable experiences to tens of millions of users. • Collaborate closely with product managers and data teams to turn complex user problems into elegant, scalable engineering solutions. • Contribute to architectural decisions, code reviews, and a culture of craft and continuous improvement. • Participate in on-call rotation and incident response. • Use agentic workflows to dramatically increase the delivery of strong outcomes — moving faster without sacrificing quality. • Mentor team members and contribute to team processes, technical standards, and help evolve the team's AI-native engineering practices. • Support performance, reliability, and accessibility across the features you own.