NSA is actively searching for mathematicians and mathematical statisticians like you to join a vibrant community of mathematicians, statisticians, physicists, computer scientists, data scientists, and other intelligence professionals. Newly-hired mathematicians and mathematical statisticians begin t
About The Role What if your deep knowledge of formal systems and rigorous proof methods could directly shape how the world's most advanced AI understands mathematics? We're looking for mathematicians with a passion for formal reasoning to help build the logical foundations that frontier AI models le
About The Role What if your deep mathematical training could directly shape how AI understands and reasons about formal proof? We're looking for mathematicians with hands-on experience in formal proof systems to translate rigorous human arguments into machine-verifiable Lean 4 formalizations — pushi
About The Role What if your deepest mathematical knowledge could directly shape how AI reasons about formal proof — permanently expanding the boundary of what machines can verify and understand? We're looking for mathematicians with serious formal verification experience to translate advanced mathem
Overview SimVentions, consistently voted one of Virginia's Best Places to Work, is looking for an Applied Mathematician or Applied Physicist to join our Submarine-Launched Ballistic Missile (SLBM) team at the Naval Surface Warfare Center Dahlgren Division (NSWCDD) in Dahlgren, VA. In this full-t
About The Role What if your deepest mathematical knowledge could directly shape how AI reasons about formal proof — permanently expanding the boundary of what machines can verify and understand? About The Role What if your deepest mathematical knowledge could directly shape how AI reasons about form
Alignerr Corp. seeks a mathematician with strong formal verification experience to translate advanced proofs into Lean 4 formalizations for AI research projects. You will work remotely on a flexible hourly contract, 10–40 hours per week, collaborating with AI researchers to push the boundaries of au
We are a small, team of researchers and developers. We build algorithms for trading stocks, bonds, and derivatives at Morgan Stanley. Our work sits at the intersection of stochastic control, statistics, financial derivatives and numerical methods. We are looking for a Statistician or Control Theoris
We build algorithms for trading stocks, bonds, and derivatives at Morgan Stanley. Our work sits at the intersection of stochastic control, statistics, financial derivatives and numerical methods. We are looking for a Statistician or Control Theorist who wants to work on market problems where the mat
Job Description Job Description Position Summary: Vali Incorporated seeks a highly qualified candidate to support the Missile Defense Agency (MDA) as an Entry level Cost Estimating Analyst. This position will perform Cost Estimating Analysis supporting the development, fielding, and integration of t
Lean 4 Proof Engineer — Mathematical Formalization About The Role What if your deep mathematical training could directly shape how AI reasons about formal proof — helping machines understand arguments that push the very limits of what automated systems can verify? We're looking for mathematician
About The Role What if your deep knowledge of formal systems and rigorous proof methods could directly shape how the world's most advanced AI understands mathematics? We're looking for mathematicians with a passion for formal reasoning to help build the logical foundations that frontier AI models le
Overview As a Game Mathematician , you will play a key role in shaping the player experience by designing and analyzing the mathematical models behind our games. You will contribute across the full game development lifecycle, collaborating with cross-functional teams. This is a hybrid role tha
Job Description Job Description Description Please note that although our team is fully remote, SpinPlay currently only operates out of NV and TX. Candidate must be willing to work from/relocate to those locations. The Mathematician is responsible for designing and developing the mathematical models
Job Description Job Description Description Please note that although our team is fully remote, SpinPlay currently only operates out of NV and TX. Candidate must be willing to work from/relocate to those locations. The Mathematician is responsible for designing and developing the mathematical models
Are you passionate about mathematics and gaming? Join Aristocrat as a Mathematician Manager and lead a team of outstanding mathematicians in crafting magnificent, world-class gaming products! As part of the BLS Leadership Team, you will have a significant impact on our technical strategy and product
Summary Click on "Learn more about this agency" button below for IMPORTANT additional information. This is a Direct Hire Solicitation. This public notice is to gather applications that may or may not result in a referral or selection. Learn more about this agency Duties Help ****Duties and
Job Title Help Duties Duties and responsibilities vary and may increase according to grade level Plan and carry out the collection and analysis of information, data and standards used by the assigned organization to perform mathematics tasks. Carry out special projects designed to facilitate the ful
Gaming: Welcome to the world of land-based gaming. At Light & Wonder, it’s all about the games, and our Gaming team builds cutting-edge technology, products, and content for the most iconic casinos and operators across the globe. Position Summary Bring our games to life by creating the math mode
Palace Acquire Program The PALACE Acquire Program offers you a permanent position upon completion of your formal training plan. As a Palace Acquire Intern you will experience both personal and professional growth while dealing effectively and ethically with change, complexity, and problem solving. T