Also called: Proof Engineer, Formal Methods Engineer
Uses mathematical proofs to guarantee that software and chips have no hidden bugs.
You write proofs in tools like Lean or Coq showing that a piece of crypto code always does exactly what it should. When a proof fails, you have found a bug nobody else would have caught.
Big tech, chip companies and crypto firms pay top dollar.
Approximate: anchored on Bureau of Labor Statistics data for a broader job group.
Master's degree, about 6 years after high school. Master's or PhD in math or computer science; strong proof skills.
Ways in: 4-year college, Graduate school. Training cost: $15k – $60k.
Majors to look at: Mathematics, Computer Science, Logic.
Growing much faster than average. A small but quickly growing niche.
Medium risk for 10 years. AI proof assistants speed up proofs, and AI-written code raises demand for verified software.
Classes: AP Computer Science, AP Calculus BC, Proof-based math.
Official data: O*NET occupation 15-2021.
Career Universe is an early version. Pay, training and AI-risk figures are estimates to start your own research, not verified facts. The research was written with AI research assistants, checked by validation scripts and spot-checked by hand. Check anything important with schools, employers and official sources. How the numbers work.