Mathematician - 3+ job offers

Marquee Defense

Description Plan, develop, coordinate, control, and/or perform work involving the development and application of methods for the analytic solution of problems in various subject matter fields, where the exactitude of the relationships, the rigor and economy of the operations, the use of mathematical

Marquee Defense seeks a mathematically skilled analyst to plan, develop, and apply analytic methods for solving complex problems. The role emphasizes rigorous reasoning, modeling, and algorithmic work within defense-related domains. The candidate should hold a Bachelor’s degree in a quantitative fie

Alignerr

Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your deepest mathematical instincts could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians with serious proof-writing chops to formalize advanced mathematical arguments in Lean