You will be responsible for translating legacy mathematical logic into optimized PyTorch tensors ... or PhD in a quantitative field (Statistics, Financial Engineering, Physics, or Math). • ...
You will be responsible for translating legacy mathematical logic into optimized PyTorch tensors ... or PhD in a quantitative field (Statistics, Financial Engineering, Physics, or Math). • ...
$65/hr
... mathematical logic, and discrete mathematics. You'll challenge advanced language models on topics ... A master's or PhD in mathematics or a closely related quantitative field is ideal; peerreviewed ...
$65/hr
... mathematical logic, and discrete mathematics. You'll challenge advanced language models on topics ... A master's or PhD in mathematics or a closely related quantitative field is ideal; peerreviewed ...
Architecture/Design/Development - Application Architect III
Manhattan, NY · On-site
$71.25 - $93.50/hr
You will be responsible for translating legacy mathematical logic into optimized PyTorch tensors ... or PhD in a quantitative field (Statistics, Financial Engineering, Physics, or Math). • ...
Architecture/Design/Development - Application Architect III
Manhattan, NY · On-site
$71.25 - $93.50/hr
You will be responsible for translating legacy mathematical logic into optimized PyTorch tensors ... or PhD in a quantitative field (Statistics, Financial Engineering, Physics, or Math). • ...
Formal Verification - AI/ML Engineer
Austin, TX · On-site
$134.80K/yr
Background in formal methods, mathematical logic, or a strong mathematical foundation - whether ... MS or PhD in Computer Science, Electrical Engineering, Mathematics, or a related field - though ...
Formal Verification - AI/ML Engineer
Austin, TX · On-site
$134.80K/yr
Background in formal methods, mathematical logic, or a strong mathematical foundation - whether ... MS or PhD in Computer Science, Electrical Engineering, Mathematics, or a related field - though ...
Design and develop formal (using mathematical logic) or informal models and specifications of ... PhD degree. * Experience writing logic for SAT, SMT solvers. * Experience with Python and/or shell ...
Design and develop formal (using mathematical logic) or informal models and specifications of ... PhD degree. * Experience writing logic for SAT, SMT solvers. * Experience with Python and/or shell ...
Lead Data Scientist (Scientific Software Engineer / Computational Scientist) - Only W2
Mountain View, CA · On-site
... mathematical logic and generative ML models into performant code to solve high-dimensional ... MS/PhD in Computer Science, Applied Mathematics, Computational Physics, or equivalent * Portfolio ...
Quick apply
Lead Data Scientist (Scientific Software Engineer / Computational Scientist) - Only W2
Mountain View, CA · On-site
... mathematical logic and generative ML models into performant code to solve high-dimensional ... MS/PhD in Computer Science, Applied Mathematics, Computational Physics, or equivalent * Portfolio ...
... mathematical logic and formal verification to make AI systems provably correct. The AR team ... PhD-heavy or research-oriented teams (AI/ML, formal methods, applied math, or related fields ...
... mathematical logic and formal verification to make AI systems provably correct. The AR team ... PhD-heavy or research-oriented teams (AI/ML, formal methods, applied math, or related fields ...
Design and develop formal (using mathematical logic) or informal models and specifications of ... PhD degree. * Experience writing logic for SAT, SMT solvers. * Experience with Python and/or shell ...
Design and develop formal (using mathematical logic) or informal models and specifications of ... PhD degree. * Experience writing logic for SAT, SMT solvers. * Experience with Python and/or shell ...
Research Software Engineer, Formal Methods (Hybrid)
Cambridge, MA · On-site
$224.10K/yr
Design and develop formal (using mathematical logic) or informal models and specifications of ... PhD degree. * Experience writing logic for SAT, SMT solvers. * Experience with Python and/or shell ...
Research Software Engineer, Formal Methods (Hybrid)
Cambridge, MA · On-site
$224.10K/yr
Design and develop formal (using mathematical logic) or informal models and specifications of ... PhD degree. * Experience writing logic for SAT, SMT solvers. * Experience with Python and/or shell ...
Formal Verification - AI/ML Engineer
$181.10K - $318.40K/yr
Background in formal methods, mathematical logic, or a strong mathematical foundation - whether ... MS or PhD in Computer Science, Electrical Engineering, Mathematics, or a related field - though ...
Formal Verification - AI/ML Engineer
$181.10K - $318.40K/yr
Background in formal methods, mathematical logic, or a strong mathematical foundation - whether ... MS or PhD in Computer Science, Electrical Engineering, Mathematics, or a related field - though ...
Formal Verification - AI/ML Engineer
$181.10K - $318.40K/yr
Background in formal methods, mathematical logic, or a strong mathematical foundation - whether ... MS or PhD in Computer Science, Electrical Engineering, Mathematics, or a related field - though ...
Formal Verification - AI/ML Engineer
$181.10K - $318.40K/yr
Background in formal methods, mathematical logic, or a strong mathematical foundation - whether ... MS or PhD in Computer Science, Electrical Engineering, Mathematics, or a related field - though ...
$40/hr
You will measure the progress of these AI chatbots, evaluate their logic, and solve problems to ... This is an independent contract position. #math #J-18808-Ljbffr
$40/hr
You will measure the progress of these AI chatbots, evaluate their logic, and solve problems to ... This is an independent contract position. #math #J-18808-Ljbffr
Data Analyst (PhD)
Springfield, IL · Remote
$40/hr
You will measure the progress of these AI chatbots, evaluate their logic, and solve problems to ... This is an independent contract position. #math #J-18808-Ljbffr
Data Analyst (PhD)
Springfield, IL · Remote
$40/hr
You will measure the progress of these AI chatbots, evaluate their logic, and solve problems to ... This is an independent contract position. #math #J-18808-Ljbffr
Remote Mathematics Expert (PhD)
San Francisco, CA · Remote
$100 - $200/hr
Develop clear, step-by-step solutions with rigorous logic. * Evaluate AI outputs for accuracy and ... Strong mathematical reasoning and problem-solving skills across advanced domains. * Ability to ...
New
Quick apply
Remote Mathematics Expert (PhD)
San Francisco, CA · Remote
$100 - $200/hr
Develop clear, step-by-step solutions with rigorous logic. * Evaluate AI outputs for accuracy and ... Strong mathematical reasoning and problem-solving skills across advanced domains. * Ability to ...
New
Data Analyst (PhD)
Oregon, WI · Remote
$40/hr
You will measure the progress of these AI chatbots, evaluate their logic, and solve problems to ... mathematics problems and evaluate their outputsEvaluate the quality produced by AI models for ...
Data Analyst (PhD)
Oregon, WI · Remote
$40/hr
You will measure the progress of these AI chatbots, evaluate their logic, and solve problems to ... mathematics problems and evaluate their outputsEvaluate the quality produced by AI models for ...
... mathematical logic, and automata theory. Preferred : • PhD in the broader field of automated reasoning. • Publication record in conferences like POPL, CAV, TACAS, FMCAD, FM, etc. • Experience ...
... mathematical logic, and automata theory. Preferred : • PhD in the broader field of automated reasoning. • Publication record in conferences like POPL, CAV, TACAS, FMCAD, FM, etc. • Experience ...
... mathematical logic, and automata theory. Preferred : • PhD in the broader field of automated reasoning. • Publication record in conferences like POPL, CAV, TACAS, FMCAD, FM, etc. • Experience ...
... mathematical logic, and automata theory. Preferred : • PhD in the broader field of automated reasoning. • Publication record in conferences like POPL, CAV, TACAS, FMCAD, FM, etc. • Experience ...
You will train AI models by giving complex mathematics problems and evaluating their logic. The ideal candidate should have expert-level knowledge in mathematics, possibly hold a Master's or PhD, and ...
You will train AI models by giving complex mathematics problems and evaluating their logic. The ideal candidate should have expert-level knowledge in mathematics, possibly hold a Master's or PhD, and ...
Math Teacher
Saint Paul, MN · Remote
$40/hr
The role involves measuring the progress of AI chatbots, evaluating their logic, and solving ... PhD in progress or completed is preferred but not required Notes Payment is made via PayPal. We ...
Math Teacher
Saint Paul, MN · Remote
$40/hr
The role involves measuring the progress of AI chatbots, evaluating their logic, and solving ... PhD in progress or completed is preferred but not required Notes Payment is made via PayPal. We ...
Applied Mathematician
Juneau, AK · Remote
$40/hr
You will measure the progress of these AI chatbots, evaluate their logic, and solve problems to ... In this role you will need to hold an expert level of mathematical reasoning. Other related fields ...
Applied Mathematician
Juneau, AK · Remote
$40/hr
You will measure the progress of these AI chatbots, evaluate their logic, and solve problems to ... In this role you will need to hold an expert level of mathematical reasoning. Other related fields ...
Mathematical Logic Phd information
See salary details
$17.31 - $19.69
2% of jobs
$19.69 - $22.07
7% of jobs
$22.07 - $24.45
15% of jobs
$24.52 is the 25th percentile. Wages below this are outliers.
$24.45 - $26.84
19% of jobs
The median wage is $27.68 / hr.
$26.84 - $29.22
18% of jobs
$29.22 - $31.60
9% of jobs
$32.79 is the 75th percentile. Wages above this are outliers.
$31.60 - $33.98
10% of jobs
$33.98 - $36.36
7% of jobs
$36.36 - $38.75
5% of jobs
$38.75 - $41.13
4% of jobs
$41.13 - $43.51
3% of jobs
$17
$29
$43
How much do mathematical logic phd jobs pay per hour?
As of May 31, 2026, the average hourly pay for mathematical logic phd in the United States is $29.61, according to ZipRecruiter salary data. Most workers in this role earn between $24.28 and $33.65 per hour, depending on experience, location, and employer.
What are the key skills and qualifications needed to thrive as a Mathematical Logic PhD, and why are they important?
To thrive as a Mathematical Logic PhD, you need advanced knowledge of mathematical logic, formal systems, set theory, and proof techniques, typically supported by a doctoral degree in mathematics or a related field. Proficiency with mathematical software (such as LaTeX, Coq, or Mathematica) and experience with academic research tools are highly valuable. Strong analytical thinking, perseverance, and clear written and verbal communication skills help you excel in both independent research and collaborative academic environments. These competencies are crucial for advancing theoretical understanding, producing publishable research, and contributing to the broader mathematical community.
What are the typical research and collaboration opportunities available to someone with a PhD in Mathematical Logic?
A PhD in Mathematical Logic opens doors to research positions in academia, technology companies, and research institutes, where collaboration is key. You may work as part of interdisciplinary teams with computer scientists, mathematicians, and philosophers on projects like formal verification, artificial intelligence, or foundations of mathematics. Challenges often include communicating complex ideas to those outside your specialty and balancing independent research with collaborative projects. These roles frequently provide opportunities to publish, attend conferences, and mentor students, fostering both personal growth and professional networking.
What is a Mathematical Logic PhD?
A Mathematical Logic PhD is a doctoral degree focused on the study of formal systems, reasoning, and the foundations of mathematics. Students in this program research topics such as set theory, model theory, recursion theory, and proof theory. Graduates often pursue careers in academia, research, or industry roles that require advanced logical reasoning and mathematical skills. The program typically involves coursework, comprehensive exams, and original research culminating in a dissertation.
What is the difference between Mathematical Logic Phd vs Data Scientist?
| Aspect | Mathematical Logic Phd | Data Scientist |
|---|---|---|
| Required Credentials | PhD in Mathematics or Logic, strong analytical skills | Bachelor's or Master's in Data Science, Statistics, or related fields |
| Work Environment | Academic, research institutions, or specialized think tanks | Corporate, tech companies, or consulting firms |
| Industry Usage | Research, academia, theoretical development | Data analysis, machine learning, business insights |
| Common Search/Comparison | Mathematical Logic Phd vs Data Scientist |
The Mathematical Logic Phd typically focuses on theoretical research and academic roles requiring advanced mathematical and logical expertise. In contrast, a Data Scientist applies statistical and computational skills to analyze data and solve practical business problems. While both roles require strong analytical skills, their work environments and industry applications differ significantly.
More about Mathematical Logic Phd jobs
What cities are hiring for Mathematical Logic Phd jobs? Cities with the most Mathematical Logic Phd job openings:
What states have the most Mathematical Logic Phd jobs? States with the most job openings for Mathematical Logic Phd jobs include:
What job categories do people searching Mathematical Logic Phd jobs look for? The top searched job categories for Mathematical Logic Phd jobs are:
Architecture/Design/Development - Application Architect III
Futran Tech Solutions Pvt. Ltd.Manhattan, NY • On-site
Full-time
Posted 27 days ago
Job description
Job Description: Job Title: Quantitative ML Engineer (PyTorch & PPNR Migration)
Location: New York
# Positions : 1
Experience : 6-8 Years
Rate : 90 USD per Hour
Hybrid
Role Objective
We are looking for a Quantitative ML Engineer to lead the technical migration of complex PPNR (Pre-Provision Net Revenue) forecasting models from a Hadoop/C++/R environment to a modern Databricks and PyTorch ecosystem. You will be responsible for translating legacy mathematical logic into optimized PyTorch tensors while ensuring strict numerical parity required for US regulatory compliance (CCAR/DFAST).
Key Responsibilities
• Model Translation: Reverse-engineer legacy C++ and R codebases to extract core mathematical logic, econometric formulas, and simulation parameters.
• PyTorch Implementation: Re-implement these models in PyTorch, utilizing advanced features like torch.nn for modularity and custom Autograd functions where necessary.
• Optimization: Refactor code to leverage Databricks' distributed computing and PyTorch's GPU/parallel processing capabilities to reduce model execution time.
• Data Integration: Build high-performance pipelines from Snowflake into Databricks using Spark and PyTorch DataLoaders.
• Parity & Validation: Conduct rigorous back-testing and sensitivity analysis to ensure the new PyTorch models yield results statistically identical to the legacy Hadoop outputs.
• Regulatory Documentation: Collaborating with Model Risk Management (MRM) to document the migration process, architectural changes, and validation results in compliance with SR 11-7 standards.
Required Technical Skills
• Frameworks: Expert-level PyTorch (specifically for non-computer vision tasks like time-series, regression, or Monte Carlo simulations).
• Languages: High proficiency in Python and a strong ability to read and interpret C++ and R (specifically statistical packages like lme4 or forecast).
• Platforms: Hands-on experience with Databricks (MLflow, Spark) and Snowflake (Snowpark is a plus).
• Quantitative Finance: Deep understanding of statistical modeling, econometric forecasting, or financial risk management.
• Big Data: Experience migrating workloads out of Hadoop/Hive environments.
Preferred Qualifications
• Experience specifically with PPNR, CCAR, or DFAST regulatory modeling.
• Masters or PhD in a quantitative field (Statistics, Financial Engineering, Physics, or Math).
• Experience with TorchScript or ONNX for model productionisation.
Additional Sills: Skills:
Category
Name
Required
Importance
Experience
No items to display.
Location: New York
# Positions : 1
Experience : 6-8 Years
Rate : 90 USD per Hour
Hybrid
Role Objective
We are looking for a Quantitative ML Engineer to lead the technical migration of complex PPNR (Pre-Provision Net Revenue) forecasting models from a Hadoop/C++/R environment to a modern Databricks and PyTorch ecosystem. You will be responsible for translating legacy mathematical logic into optimized PyTorch tensors while ensuring strict numerical parity required for US regulatory compliance (CCAR/DFAST).
Key Responsibilities
• Model Translation: Reverse-engineer legacy C++ and R codebases to extract core mathematical logic, econometric formulas, and simulation parameters.
• PyTorch Implementation: Re-implement these models in PyTorch, utilizing advanced features like torch.nn for modularity and custom Autograd functions where necessary.
• Optimization: Refactor code to leverage Databricks' distributed computing and PyTorch's GPU/parallel processing capabilities to reduce model execution time.
• Data Integration: Build high-performance pipelines from Snowflake into Databricks using Spark and PyTorch DataLoaders.
• Parity & Validation: Conduct rigorous back-testing and sensitivity analysis to ensure the new PyTorch models yield results statistically identical to the legacy Hadoop outputs.
• Regulatory Documentation: Collaborating with Model Risk Management (MRM) to document the migration process, architectural changes, and validation results in compliance with SR 11-7 standards.
Required Technical Skills
• Frameworks: Expert-level PyTorch (specifically for non-computer vision tasks like time-series, regression, or Monte Carlo simulations).
• Languages: High proficiency in Python and a strong ability to read and interpret C++ and R (specifically statistical packages like lme4 or forecast).
• Platforms: Hands-on experience with Databricks (MLflow, Spark) and Snowflake (Snowpark is a plus).
• Quantitative Finance: Deep understanding of statistical modeling, econometric forecasting, or financial risk management.
• Big Data: Experience migrating workloads out of Hadoop/Hive environments.
Preferred Qualifications
• Experience specifically with PPNR, CCAR, or DFAST regulatory modeling.
• Masters or PhD in a quantitative field (Statistics, Financial Engineering, Physics, or Math).
• Experience with TorchScript or ONNX for model productionisation.
Additional Sills: Skills:
Category
Name
Required
Importance
Experience
No items to display.