Back to jobs
New

Field Strategist, Formal Methods

Remote in the US

About Atlas Ignota

Atlas Ignota is a nonprofit that identifies society-scale AI risks no institution owns, designs credible interventions, and recruits the right person or institution to run them. Atlas starts with the problem, then picks the approach that fits: a new organization, a program inside an existing institution, a standard, or a funding vehicle. Atlas is growing quickly and runs the FMxAI conference series (next edition: London, March 2027).

The Role

Field Strategists are the architects. They track several problems at once, scope and de-risk interventions with experts and stakeholders, and source the team that will execute them. Success means someone else runs it.

This Field Strategist owns the formal methods slice of Atlas's portfolio: problems where formal methods can materially reduce AI risk, such as verified or attestable AI inference, secure-by-construction software for critical infrastructure, and AI-assisted verification at scale.

What Success Looks Like

  • In your first six months: two or more complete intervention write-ups, each covering the risk, the proposed intervention, expert and decision-maker validation, funding paths, and the founder profile needed.
  • Within a year: two to three interventions with committed funding paths, with at least one handed off to an execution team.

What We're Looking For

  • Genuine formal methods fluency (for example Lean, Rocq/Coq, Isabelle, seL4, Dafny, TLA+, or industrial verification), enough to know who's doing what and what's tractable versus hype.
  • Enough technical depth to challenge an expert in an adjacent field, and the EQ to ask that same expert for a favor afterward.
  • A strong professional network across research, industry, government, and funders, since much of the job is getting the right people in the room.
  • A strategist and builder orientation rather than research for its own sake. Examples: a former DARPA/ARIA-style program manager, an industrial verification team lead (cloud, chip, aerospace, defense), or a formal methods PhD who moved into program management, venture studios, or policy.
  • Comfort pitching funders, recruiting founders, and writing crisp problem statements for non-specialists.
  • Serious motivation around AI risk. This isn't a generic formal methods role.

Logistics

  • Full-time, starting as soon as possible.
  • Remote in the US. Many calls are in Pacific Time.
  • About 20% travel.
  • Full benefits.

Apply for this job

*

indicates a required field

Resume/CV*

Accepted file types: pdf, doc, docx, txt, rtf

Select...
Select...

Voluntary Self-Identification

For government reporting purposes, we ask candidates to respond to the below self-identification survey. Completion of the form is entirely voluntary. Whatever your decision, it will not be considered in the hiring process or thereafter. Any information that you do provide will be recorded and maintained in a confidential file.

As set forth in Atlas Ignota’s Equal Employment Opportunity policy, we do not discriminate on the basis of any protected group status under any applicable law.

Select...
Select...
Race & Ethnicity Definitions

If you believe you belong to any of the categories of protected veterans listed below, please indicate by making the appropriate selection. As a government contractor subject to the Vietnam Era Veterans Readjustment Assistance Act (VEVRAA), we request this information in order to measure the effectiveness of the outreach and positive recruitment efforts we undertake pursuant to VEVRAA. Classification of protected categories is as follows:

A "disabled veteran" is one of the following: a veteran of the U.S. military, ground, naval or air service who is entitled to compensation (or who but for the receipt of military retired pay would be entitled to compensation) under laws administered by the Secretary of Veterans Affairs; or a person who was discharged or released from active duty because of a service-connected disability.

A "recently separated veteran" means any veteran during the three-year period beginning on the date of such veteran's discharge or release from active duty in the U.S. military, ground, naval, or air service.

An "active duty wartime or campaign badge veteran" means a veteran who served on active duty in the U.S. military, ground, naval or air service during a war, or in a campaign or expedition for which a campaign badge has been authorized under the laws administered by the Department of Defense.

An "Armed forces service medal veteran" means a veteran who, while serving on active duty in the U.S. military, ground, naval or air service, participated in a United States military operation for which an Armed Forces service medal was awarded pursuant to Executive Order 12985.

Select...