AT
Field Strategist, Formal Methods
The Field Strategist will identify and scope interventions where formal methods can reduce AI risk, managing the lifecycle from problem definition to execution. They are responsible for validating these interventions with experts and securing the necessary funding and teams to implement them.