Program Director, Formal Methods

AI is already changing how people work, learn, and access care. It has the potential to unlock extraordinary benefits—faster medical breakthroughs, accelerated scientific discovery, more personalized services in healthcare and education, new tools for creativity and invention, higher productivity and economic growth, improved public services like transportation systems, and so much more.

But building powerful systems to benefit humanity is only a part of the work of our mission. Advanced AI models will also present new challenges that are already surfacing, and we need to be prepared to identify these challenges and develop solutions to address them.

These are the two dimensions of what we’re building the Foundation to do. We aim to enable the use of AI to find solutions to humanity’s hardest problems, transform what people are capable of, and deliver real benefits in people’s lives—while working hard with partners to be ready for new challenges, and to help make society resilient, as AI advances.

This work is just beginning. Over the next year, as we quickly ramp up, the Foundation expects to invest at least $1 billion across life sciences and curing diseases, jobs and economic impact, AI resilience, and community programs. This includes early investments toward our previously announced $25 billion commitment to curing diseases and AI resilience.

AI is changing the cyber resilience threat landscape from both sides. More capable models are making vulnerability discovery, exploit development, and complex attack chains faster, cheaper, and more scalable, while organizations are increasingly relying on AI systems that can be unreliable, difficult to validate, and deeply integrated into sensitive operations. The result is a widening assurance gap: more software, more capable attackers, and less time for defenders to find and fix what can go wrong.

With the prospect of recursive AI self-improvement on the near horizon, the stakes of this status quo are about to grow astronomically, and we need to find solutions now.

Formal methods may offer one of the most promising ways to change this balance. AI’s speed can be directed toward producing verified defensive systems, while trust remains grounded in independently checkable evidence. If this works, defenders could retire entire classes of vulnerabilities rather than finding and patching them one at a time—and build stronger assurance into critical software, frontier AI infrastructure, and the constraints governing AI-enabled systems.

We are looking for a Formal Methods Lead to make this a central pillar of the Foundation’s cyber resilience program. You will act as the general manager for a fast-moving R&D initiative: set the Foundation’s formal methods R&D strategy, help coordinate an ecosystem spanning academia and industry, build the Foundation into the field’s leading philanthropic funder, and drive the best work from research to deployment.

This is a senior, full-time, zero-to-one leadership role with substantial autonomy and unusually short timelines. The threat landscape and technical frontier are moving quickly; you will need to form a view, place high-conviction bets, recruit exceptional people, and get significant work funded and underway in months, not years.

• Set and own a focused formal methods R&D strategy for cyber resilience, identifying the highest-leverage bottlenecks and advising Foundation leadership and the board as capabilities and threats evolve.
• Build and execute a high-conviction portfolio of grants and contracts, sourcing exceptional people and programs and creating new vehicles where existing ones are insufficient.
• Launch rapid technical sprints and ambitious demonstrations on…