AI Risk Field Strategist - Formal Methods Lead (Remote US)

Atlas Ignota; United States; Remote; USD 140,000 - 220,000; Full time

Benefits offered by this job

Remote in the US

Full benefits

Job summary

Atlas Ignota seeks a Field Strategist to architect interventions targeting AI risk, coordinating with experts and stakeholders to scope, validate, and fund them. The role emphasizes formal methods, strategic alignment, and building programs across research, industry, and government.

The candidate will lead problem statements, seek funding paths, and assemble teams to execute, with heavy emphasis on non-specialist communication and funder engagement.

Qualifications

• Formal methods fluency with experience in verification or formal specification languages such as Lean, Coq, Isabelle, Dafny, or TLA+.
• Ability to engage across research, industry, government, and funding bodies.
• Strong track record of building programs, partnerships, or initiatives in AI risk or related fields.

Responsibilities

• Develop and shepherd intervention write-ups addressing AI risk.
• Coordinate with experts, stakeholders, and funders to scope and validate interventions.
• Pitch funders, recruit project founders, and craft clear problem statements for non-specialists.

Skills

Formal methods fluency

Networking across research/industry/go

Strategy and program management

Funding pitches and fundraising

Communication with non-specialists

AI risk motivation

Education

PhD in Formal Methods or related field

Tools

Lean

Coq

Isabelle

Dafny

TLA+

Job description

Atlas Ignota seeks a Field Strategist to architect interventions targeting AI risk, coordinating with experts and stakeholders to scope, validate, and fund them. The role emphasizes formal methods, strategic alignment, and building programs across research, industry, and government.

The candidate will lead problem statements, seek funding paths, and assemble teams to execute, with heavy emphasis on non-specialist communication and funder engagement.