ZipRecruiter

Log In

2

Remote Mathematical Modeling Jobs (NOW HIRING)

Vrtx

HEOR Modeling Director (Remote-Eligible)

Boston, MA · On-site +1

$204K - $306K/yr

... to economic models. The role has flexibility to be in-person, hybrid, or remote. Key ... Advanced degree in health economics or a related discipline (such as mathematics, statistics ...

Nationwide

Sr. Actuary - Annuity Modeling (REMOTE)

OR · Remote

$116.40K - $136.90K/yr

Undergraduate degree in actuarial science, mathematics, statistics or similar background requiring ... Modeling expertise: Moody's AXIS actuarial software * Product knowledge: Variable or Indexed ...

Experian

Senior Data Modeling Analyst - Remote

Costa Mesa, CA · On-site +1

$91.20K - $115K/yr

Senior Data Modeling Analyst - Remote Experian is a global data and technology company, powering ... Bachelor's degree in Computer Science, Data Science, Mathematics, Statistics, or a related ...

Jobgether

Support continuous improvement of mathematical models, gameplay balancing, and player engagement ... Fully remote work environment with flexibility to work from comfortable and secure locations

Mercor

STEM Expert - Fully Remote

New York, NY · Remote

$70 - $100/hr

... Mathematics , Statistics , Computer Science , Electrical Engineering , Mechanical Engineering ... Demonstrated technical expertise in at least one domain: computational modeling, laboratory methods ...

Mercor

STEM Expert - Fully Remote

New York, NY · Remote

$70 - $100/hr

... Mathematics , Statistics , Computer Science , Electrical Engineering , Mechanical Engineering ... Demonstrated technical expertise in at least one domain: computational modeling, laboratory methods ...

Experian

Senior Data Modeling Analyst - Remote

Costa Mesa, CA · On-site +1

$92.30K - $116.40K/yr

Bachelor's degree in Computer Science, Data Science, Mathematics, Statistics, or a related ... Knowledge of statistical models and practical experience in predictive model development (Python, R ...

next page

Showing results 1-20

People also search for

All JobsRemote Mathematical Modeling Jobs

Remote Mathematical Modeling information

See salary details

$83.5K

$127K

$171K

How much do remote mathematical modeling jobs pay per year?

As of Jun 2, 2026, the average yearly pay for remote mathematical modeling in the United States is $127,031.00, according to ZipRecruiter salary data. Most workers in this role earn between $109,000.00 and $143,500.00 per year, depending on experience, location, and employer.

What are the key skills and qualifications needed to thrive as a Remote Mathematical Modeler, and why are they important?

To thrive as a Remote Mathematical Modeler, you need a strong background in mathematics, statistics, and computational modeling, typically supported by a relevant degree such as mathematics, engineering, or physics. Proficiency with technical tools like MATLAB, R, Python, and specialized modeling software, as well as experience with data analysis and simulation platforms, is essential. Strong problem-solving, analytical thinking, and effective written communication skills set top performers apart in this role. These skills are crucial for developing accurate models, interpreting complex data remotely, and delivering clear insights to clients or stakeholders.

What are some common challenges faced by remote mathematical modelers, and how can they be addressed?

Remote mathematical modelers often encounter challenges such as limited real-time collaboration with colleagues, potential miscommunication regarding model requirements, and managing complex data sets independently. These can be addressed by utilizing collaborative tools like shared code repositories, regular virtual meetings, and clear documentation practices. Additionally, proactively seeking feedback and maintaining open channels of communication with stakeholders can help ensure alignment and successful project outcomes.

What is remote mathematical modeling?

Remote mathematical modeling involves using mathematical equations and computational methods to represent real-world systems or processes, all while working from a location outside of a traditional office environment. Professionals in this field use tools like MATLAB, Python, or R to develop and analyze models for industries such as finance, engineering, healthcare, and environmental science. The remote aspect allows for flexible collaboration with teams worldwide through digital communication platforms. This role typically requires strong analytical skills, problem-solving abilities, and proficiency in mathematical software.
More about Remote Mathematical Modeling jobs
What cities are hiring for Remote Mathematical Modeling jobs? Cities with the most Remote Mathematical Modeling job openings:
What are the most commonly searched types of Mathematical Modeling jobs? The most popular types of Mathematical Modeling jobs are:
What states have the most Remote Mathematical Modeling jobs? States with the most job openings for Remote Mathematical Modeling jobs include:
What job categories do people searching Remote Mathematical Modeling jobs look for? The top searched job categories for Remote Mathematical Modeling jobs are:
Remote Mathematical Modeling jobs near you
Infographic showing various Remote Mathematical Modeling job openings in the United States as of May 2026, with employment types broken down into 97% Full Time, and 3% Part Time. Highlights an 100% Remote job distribution, with an average salary of $127,031 per year, or $61.1 per hour.

Mathematical Formalization Specialist - Remote (San Francisco)

Alignerr

San Francisco, CA • Remote

$50 - $150/hr

Part-time

This job post has expired today. Applications are no longer accepted.

Job description

Mathematical Formalization Specialist – Remote

Join to apply for the Mathematical Formalization Specialist – Remote role at Alignerr

About Alignerr: Alignerr partners with leading AI labs to build expert‑driven workflows that improve model reasoning. We recruit top mathematicians and specialists to solve tasks where automated tools fail, advancing AI reliability, formalization, and high‑integrity dataset creation.

Role Overview: We are seeking a mathematician with deep training in rigorous proof construction and hands‑on experience with formal proof languages—especially Lean. This role sits at the intersection of mathematics and computer science, focusing on translating human‑written mathematical arguments into precise, machine‑verifiable formalizations. You will work on proofs that often lie beyond the current capabilities of automated provers, helping us map the frontier of what formal verification can express, capture, and automate.

What You’ll Do
  • Translate informal mathematical proofs into Lean (and related proof systems) with an emphasis on clarity, structure, and correctness.
  • Analyze generic and domain‑specific proofs, identifying gaps, hidden assumptions, and formalizable sub‑structures.
  • Construct formalizations that test the limits of existing proof assistants—especially where tools struggle or fail.
  • Collaborate with researchers to design, refine, and evaluate strategies for improving formal verification pipelines.
  • Develop highly readable, reproducible proof scripts aligned with mathematical best practices and proof assistant idioms.
  • Provide guidance on proof decomposition, lemma selection, and structuring techniques for formal models.
What You Bring – Must‑Have
  • Master’s degree (or higher) in Mathematics, Logic, Theoretical Computer Science, or a closely related field.
  • Strong foundation in rigorous proof writing and mathematical reasoning across areas such as algebra, analysis, topology, logic, or discrete math.
  • Hands‑on experience with Lean (Lean 3 or Lean 4), Coq, Isabelle/HOL, Agda, or comparable systems—with Lean strongly preferred.
  • Deep enthusiasm for formal verification, proof assistants, and the future of mechanized mathematics.
  • Ability to translate informal arguments into clean, structured formal proofs.
Nice‑to‑Have
  • Familiarity with type theory, Curry–Howard correspondence, and proof automation tools.
  • Experience with large‑scale formalization projects (e.g., mathlib).
  • Exposure to theorem provers where automated reasoning frequently fails or requires manual scaffolding.
  • Strong communication skills for explaining formalization decisions, edge cases, and reasoning strategies.
Ideal Candidate

A mathematically mature problem‑solver who enjoys working at the frontier of formal verification—someone who finds satisfaction in taking a dense, elegant human argument and expressing it in a form that a machine can understand. You appreciate precision, structural beauty, and the challenge of resolving gaps that automated tools cannot yet bridge.

Sample Work You Might Do
  • Formalize classical proofs and compare machine‑verifiable structures against textbook arguments.
  • Investigate where automated provers break down, and articulate why (complexity, missing lemmas, insufficient libraries, etc.).
  • Create Lean proofs that reveal deeper patterns or generalizations implicit in the original mathematics.

Compensation: $50 – $150 per hour

#J-18808-Ljbffr

Apply