Logical Intelligence , we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code correctness ...
Logical Intelligence , we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code correctness ...
AI Engineer in ML Data
$134K - $162K/yr
Who we are At Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code ...
Quick apply
AI Engineer in ML Data
$134K - $162K/yr
Who we are At Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code ...
Who we are At Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code ...
Who we are At Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code ...
Logical Intelligence , we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code correctness ...
Logical Intelligence , we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code correctness ...
AI Engineer in ML Data
San Francisco, CA ยท On-site
$134K - $162K/yr
Who we are At Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code ...
AI Engineer in ML Data
San Francisco, CA ยท On-site
$134K - $162K/yr
Who we are At Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code ...
Logical Intelligence , we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code correctness ...
Logical Intelligence , we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code correctness ...
Who we are At Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code ...
Who we are At Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code ...
Logical Intelligence , we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code correctness ...
Logical Intelligence , we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code correctness ...
Logical Intelligence , we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code correctness ...
Logical Intelligence , we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code correctness ...
Who we are At Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code ...
Who we are At Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code ...
Who we are At Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code ...
Quick apply
Who we are At Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code ...
Software DevSecOps Integration and Test Associate Manager
Littleton, CO ยท On-site
$51 - $65.75/hr
Medical
Dental
Vision
Life
Retirement
PTO
Oversees the integration of software components, test execution, test documentation, and formal qualification testing (FQT) to verify that software meets logical, mathematical, and mission-critical ...
Software DevSecOps Integration and Test Associate Manager
Littleton, CO ยท On-site
$51 - $65.75/hr
Medical
Dental
Vision
Life
Retirement
PTO
Oversees the integration of software components, test execution, test documentation, and formal qualification testing (FQT) to verify that software meets logical, mathematical, and mission-critical ...
Software DevSecOps Integration and Test Associate Manager
Littleton, CO ยท On-site
$50 - $64.50/hr
Medical
Dental
Vision
Life
Retirement
PTO
Oversees the integration of software components, test execution, test documentation, and formal qualification testing (FQT) to verify that software meets logical, mathematical, and mission-critical ...
Software DevSecOps Integration and Test Associate Manager
Littleton, CO ยท On-site
$50 - $64.50/hr
Medical
Dental
Vision
Life
Retirement
PTO
Oversees the integration of software components, test execution, test documentation, and formal qualification testing (FQT) to verify that software meets logical, mathematical, and mission-critical ...
Possess a strong background in rigorous mathematical proof writing and logical reasoning * Have hands-on experience with formal proof assistants - Lean 4 strongly preferred * Can fluently translate ...
Possess a strong background in rigorous mathematical proof writing and logical reasoning * Have hands-on experience with formal proof assistants - Lean 4 strongly preferred * Can fluently translate ...
Mathematics Expert - Remote
New York, NY ยท Remote
$80 - $90/hr
Evaluate mathematical content for accuracy, clarity, and logical consistency. * Provide rigorous explanations, technical analyses, and justifications. * Apply research methodologies to develop and ...
New
Quick apply
Mathematics Expert - Remote
New York, NY ยท Remote
$80 - $90/hr
Evaluate mathematical content for accuracy, clarity, and logical consistency. * Provide rigorous explanations, technical analyses, and justifications. * Apply research methodologies to develop and ...
New
Online Math Tutor
New York, NY ยท On-site +1
We believe that math is more than numbers - it's confidence, logic, and problem-solving that ... Help students build strong foundations in arithmetic, algebra, geometry, and logical thinking.
Online Math Tutor
New York, NY ยท On-site +1
We believe that math is more than numbers - it's confidence, logic, and problem-solving that ... Help students build strong foundations in arithmetic, algebra, geometry, and logical thinking.
Excellent problem-solving skills and logical reasoning capabilities. Ability to learn quickly and ... Mathematical Challenge: Include your proposed approach or insights on the following linear algebra ...
Quick apply
Excellent problem-solving skills and logical reasoning capabilities. Ability to learn quickly and ... Mathematical Challenge: Include your proposed approach or insights on the following linear algebra ...
Ensure mathematical rigor, precision, and logical consistency in all deliverables. AI Model Evaluation * Assess AI-generated mathematical solutions for correctness, clarity, completeness, and logical ...
Ensure mathematical rigor, precision, and logical consistency in all deliverables. AI Model Evaluation * Assess AI-generated mathematical solutions for correctness, clarity, completeness, and logical ...
Olympiad Mathematician - Fully Remote | Upto $93/hr
New York, NY ยท Remote
$93/hr
Identify logical flaws, incomplete reasoning, or insufficiently rigorous proofs. * Provide clear ... Maintain extremely high standards of mathematical precision and problem difficulty. Qualifications ...
Quick apply
Olympiad Mathematician - Fully Remote | Upto $93/hr
New York, NY ยท Remote
$93/hr
Identify logical flaws, incomplete reasoning, or insufficiently rigorous proofs. * Provide clear ... Maintain extremely high standards of mathematical precision and problem difficulty. Qualifications ...
Possess a strong background in rigorous mathematical proof writing and logical reasoning * Have hands-on experience with formal proof assistants - Lean 4 strongly preferred * Can fluently translate ...
Possess a strong background in rigorous mathematical proof writing and logical reasoning * Have hands-on experience with formal proof assistants - Lean 4 strongly preferred * Can fluently translate ...
Logical Mathematical information
See salary details
$15.87 - $17.57
5% of jobs
$17.57 - $19.27
4% of jobs
$19.27 - $20.98
5% of jobs
$20.98 - $22.68
8% of jobs
$23.02 is the 25th percentile. Wages below this are outliers.
$22.68 - $24.39
11% of jobs
$24.39 - $26.09
12% of jobs
The median wage is $26.66 / hr.
$26.09 - $27.80
13% of jobs
$27.80 - $29.50
13% of jobs
$29.90 is the 75th percentile. Wages above this are outliers.
$29.50 - $31.21
14% of jobs
$31.21 - $32.91
9% of jobs
$32.91 - $34.62
5% of jobs
$15
$26
$34
How much do logical mathematical jobs pay per hour?
What is the difference between Logical Mathematical vs Data Analyst?
| Aspect | Logical Mathematical | Data Analyst |
|---|---|---|
| Required Credentials | Bachelor's in Math, Computer Science, or related fields | Bachelor's in Statistics, Data Science, or related fields |
| Work Environment | Research labs, tech companies, academia | Business, finance, healthcare, tech industries |
| Employer & Industry Usage | Tech firms, research institutions, educational organizations | Corporations, consulting firms, government agencies |
| Common Search & Comparison | Logical Mathematical vs Data Analyst |
Logical Mathematical professionals focus on abstract reasoning, problem-solving, and mathematical theories, often working in research or academia. Data Analysts interpret data to inform business decisions, working across various industries. While both roles require analytical skills, Logical Mathematical roles emphasize theoretical and computational skills, whereas Data Analysts focus on data interpretation and reporting.
What is a logical mathematical job?
What kinds of projects do professionals in logical mathematical roles typically work on, and how do these projects impact organizational goals?
What are the key skills and qualifications needed to thrive as a mathematician, and why are they important?
What are the most commonly searched types of Logical Mathematical jobs?
The most popular types of Logical Mathematical jobs are:
What states have the most Logical Mathematical jobs?
States with the most job openings for Logical Mathematical jobs include:
What job categories do people searching Logical Mathematical jobs look for?
The top searched job categories for Logical Mathematical jobs are:

Other
This job post hasย expired today.ย Applications are no longer accepted.
Job description
Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code correctness, ensuring that software behaves exactly as intended while proactively identifying bugs and security vulnerabilities. Our novel foundation model enables scalable, precise reasoning for formally verifiable code across Rust, Golang, and smart contract VMs. Weโve won a well-known formal verification benchmark called PutnamBench, which consists of 672 hard math problems from the William Lowell Putnam Exam, the oldest collegiate mathematics competition in North America. Backed by a world-class team โ including ICPC champions, a Fields Medalist and an ACM Turing Award winner โ we're building the future where all code is provably correct.
About the role
Join our team as an AI Research Engineer and help us push the boundaries of what's possible in logical reasoning! Weโre looking for a motivated individual to build, maintain, and improve innovative approaches including (but not limited to!) energy-based modeling (EBM). You'll be at the forefront of designing and refining algorithms that go beyond the capabilities of traditional Large Language Models (LLMs), tackling complex reasoning challenges. You'll work closely with a talented team of AI experts, EBM specialists, formal verification engineers, and software developers to create groundbreaking solutions.
What you'll do
- Research new reasoning algorithms and models
- Pre-train and fine-tune the State-of-the-Art LLMs
- Combine Reasoning algorithm and LLMs
- Build effective and efficient ML pipelines
- Collaborate with other teams to understand their pain points and priorities to define milestones of the corresponding roadmaps
- Derive practical solutions and integrate them with the results of other teams to provide the best overall resolution.
Qualifications
- M.Sc. or Ph.D. (preferable) focusing on one or more of the following areas: Computer Science, Artificial Intelligence, Mathematics, or a closely related field
- 5+ years of subject matter expertise and research in one or more of the following areas: Machine Learning, Deep Learning, Reasoning, Energy-based Modeling (preferable)
- Expertise in programming languages and tools critical for high-performance computing in Python/C++ and machine learning including Deep Learning frameworks like PyTorch /TensorFlow/JAX
- Strong communication and teamwork skills
- Experience with explicit and implicit reasoning
- Demonstrated research publications in any of the major conferences (CVPR, ICLR, ICML, NeurIPS, ICCV, AAAI, ACL, etc.
Bonus Points
- Provable record of Energy-based usage for different problems
- Hands-on with algorithms used to train Energy-based models
- Multi-node and multi-GPU training
- Mathematical Reasoning โ discrete math and logic
- Formal Verification - lean