JOBSEARCHER
OCCUPATIONS
INDUSTRIES
LOCATIONS
COMPANIES
OPTIONS
SIGN IN
KEYWORDS
LOCATIONS
EXACT
NEARBY
Advanced search
1
SEARCH
10,000+
Computer and Information Research Scientists jobs at Alignerr
in last 30 days
Show all >
Save
168
Computer and Information Research Scientists jobs at Alignerr
in last 30 days
Show all >
Save
Filter
<
Date
Last 30 days
Masters or PhD Researcher
APPLY
Alignerr
New York, NY
June 2nd, 2026
Computer and Information Research Scientists
Other Professional, Scientific, and Technical Services
Show all >
Researcher - Lean 4 & Formal Proof Systems
APPLY
Alignerr
New York, NY
June 3rd, 2026
Computer and Information Research Scientists
Computer Systems Design and Related Services
Show all >
Researcher - Lean 4 & Formal Proof Systems
APPLY
Alignerr
Henrico, VA
June 2nd, 2026
Computer and Information Research Scientists
Computer Systems Design and Related Services
Show all >
Researcher - Lean 4 & Formal Proof Systems
APPLY
Alignerr
Prescott, AZ
June 2nd, 2026
Computer and Information Research Scientists
Computer Systems Design and Related Services
Show all >
Remote Math Researcher for AI Reasoning (Masters/PhD)
APPLY
Alignerr
Seattle, WA
Remote
May 31st, 2026
Mathematicians
Other Professional, Scientific, and Technical Services
Show all >
Applied Formal Methods Researcher (Lean 4)
APPLY
Alignerr
New York, NY
June 7th, 2026
Mathematicians
Computer Systems Design and Related Services
Show all >
Remote Math Researcher — AI Reasoning & Evaluation
APPLY
Alignerr
Remote
May 24th, 2026
Mathematicians
Scientific Research and Development Services
Show all >
Data Scientist (Masters)
APPLY
Alignerr
New York, NY
May 21st, 2026
Data Scientists
Management, Scientific, and Technical Consulting Services
Show all >
Senior Software Engineer (AI Infrastructure)
APPLY
Alignerr
Seattle, WA
June 7th, 2026
Software Developers
Computer Systems Design and Related Services
Show all >
AI Reasoning Mathematician — Remote & Flexible Contract
APPLY
Alignerr
Remote
May 24th, 2026
Mathematicians
Computer Systems Design and Related Services
Show all >
Formal Verification Scientist (Lean 4 & Mathlib)
APPLY
Alignerr
New York, NY
May 25th, 2026
Mathematicians
Computer Systems Design and Related Services
Show all >
AI Reasoning Mathematician Remote & Flexible Contract
APPLY
Alignerr
East Boston, MA
Remote
May 21st, 2026
Mathematicians
Nonscheduled Air Transportation
Show all >
Senior ML Engineer: LLM Reasoning & Training (Remote)
APPLY
Alignerr
Remote
May 24th, 2026
Data Scientists
Computer Systems Design and Related Services
Show all >
Robotics Simulation Engineer
APPLY
Alignerr
Seattle, WA
May 17th, 2026
Robotics Engineers
Scientific Research and Development Services
Show all >
Applied Physics
APPLY
Alignerr
Prescott, AZ
June 2nd, 2026
Physicists
Scientific Research and Development Services
Show all >
Senior Remote C++ HPC Engineer for AI Systems
APPLY
Alignerr
Seattle, WA
Remote
June 8th, 2026
Software Developers
Computer Systems Design and Related Services
Show all >
Robotics ML Engineer - MuJoCo Environments (Remote)
APPLY
Alignerr
New York, NY
Remote
May 24th, 2026
Robotics Engineers
Computer Systems Design and Related Services
Show all >
Remote Applied Physicist for AI Data Training
APPLY
Alignerr
East Boston, MA
Remote
May 30th, 2026
Physicists
Scientific Research and Development Services
Show all >
Remote Researcher: Lean 4 & Formal Proof Systems for AI
APPLY
Alignerr
Remote
May 28th, 2026
Computer and Information Research Scientists
Other Professional, Scientific, and Technical Services
Show all >
Senior ML Engineer: LLM Reasoning & Training (Remote)
APPLY
Alignerr
East Boston, MA
Remote
May 23rd, 2026
Data Scientists
Computer Systems Design and Related Services
Show all >
Applied Physics
APPLY
Alignerr
Henrico, VA
June 2nd, 2026
Physicists
Scientific Research and Development Services
Show all >
Remote Researcher: Lean 4 & Formal Proof Systems for AI (21)
APPLY
Alignerr
Aberdeen, MD
Remote
June 3rd, 2026
Computer and Information Research Scientists
Other Professional, Scientific, and Technical Services
Show all >
Mathematical Formalization Specialist
APPLY
Alignerr
Ny, WAL
June 3rd, 2026
Mathematicians
Computer Systems Design and Related Services
Show all >
Remote Researcher: Lean 4 & Formal Proof Systems for AI
APPLY
Alignerr
Prescott, AZ
Remote
June 2nd, 2026
Computer and Information Research Scientists
Computer Systems Design and Related Services
Show all >
Remote Researcher: Lean 4 & Formal Proof Systems for AI (28)
APPLY
Alignerr
Albemarle, NC
Remote
June 3rd, 2026
Computer and Information Research Scientists
Other Professional, Scientific, and Technical Services
Show all >
Lean 4 Proof Engineer - Mathematical Formalization
APPLY
Alignerr
Miami Springs, FL
May 28th, 2026
Mathematicians
Computer Systems Design and Related Services
Show all >
Video Research Analyst
APPLY
Alignerr
New York, NY
June 2nd, 2026
Social Science Research Assistants
Scientific Research and Development Services
Show all >
Mathematics Expert (Masters/PhDs)
APPLY
Alignerr
Prescott, AZ
June 2nd, 2026
Mathematicians
Other Professional, Scientific, and Technical Services
Show all >
Mathematics Expert (Masters/PhDs)
APPLY
Alignerr
Henrico, VA
June 2nd, 2026
Mathematicians
Other Professional, Scientific, and Technical Services
Show all >
Lean 4 Proof Engineer - Mathematical Formalization
APPLY
Alignerr
New York, NY
May 29th, 2026
Mathematicians
Computer Systems Design and Related Services
Show all >
Remote Researcher: Lean 4 & Formal Proof Systems for AI
APPLY
Alignerr
New York, NY
Remote
June 3rd, 2026
Computer and Information Research Scientists
Other Professional, Scientific, and Technical Services
Show all >
Remote Researcher: Lean 4 & Formal Proof Systems for AI
APPLY
Alignerr
Denver, CO
Remote
June 2nd, 2026
Computer and Information Research Scientists
Other Professional, Scientific, and Technical Services
Show all >
Machine Learning Engineer
APPLY
Alignerr
Henrico, VA
June 3rd, 2026
Data Scientists
Other Professional, Scientific, and Technical Services
Show all >
Machine Learning Engineer
APPLY
Alignerr
Prescott, AZ
June 2nd, 2026
Data Scientists
Other Professional, Scientific, and Technical Services
Show all >
Lean 4 Proof Engineer - Mathematical Formalization
APPLY
Alignerr
Prescott, AZ
June 2nd, 2026
Mathematicians
Computer Systems Design and Related Services
Show all >
Lean 4 Proof Engineer - Mathematical Formalization
APPLY
Alignerr
Henrico, VA
June 2nd, 2026
Mathematicians
Computer Systems Design and Related Services
Show all >
Material Science Specialist (Masters/PhDs)
APPLY
Alignerr
Beaver, OH
May 21st, 2026
Materials Scientists
Scientific Research and Development Services
Show all >
Physicist, PhD
APPLY
Alignerr
New York, NY
June 2nd, 2026
Physicists
Scientific Research and Development Services
Show all >
Video Research Specialist
APPLY
Alignerr
New York, NY
June 2nd, 2026
Social Science Research Assistants
Scientific Research and Development Services
Show all >
Remote Senior ML Expert: Build High-Fidelity LLM Reasoning
APPLY
Alignerr
Remote
May 24th, 2026
Data Scientists
Computer Systems Design and Related Services
Show all >
1
2
3
4
5