The OpenAI Foundation seeks a Senior Formal Methods Lead to shape the foundation's cyber resilience program. You will set the formal methods R&D strategy, coordinate an ecosystem across academia and industry, and drive funded research from concept to deployment.
You will recruit exceptional people, manage grants, and work with partners to accelerate the responsible use of advanced AI. This is a high‑autonomy, high‑impact leadership role with ambitious timelines.
#J-18808-LjbffrFormal Methods Lead for Cyber Resilience in san francisco at Unknown Company
This position is listed as full time and onsite.