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 ...
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 ...
Remote Senior AI Software Engineer - Contract
Boston, MA · Remote
$133K - $175K/yr
A leading AI research company seeks a contractor with software engineering experience to evaluate AI-generated code and collaborate on AI-driven solutions. The ideal candidate has over 5 years in ...
Remote Senior AI Software Engineer - Contract
Boston, MA · Remote
$133K - $175K/yr
A leading AI research company seeks a contractor with software engineering experience to evaluate AI-generated code and collaborate on AI-driven solutions. The ideal candidate has over 5 years in ...
Access Control Field Technician
Tampa, FL · On-site
$25 - $40/hr
Turing Video Burglar Systems: * Honeywell * DSC Job Qualifications: * 5+ years of commercial access control installation and service experience * Experience with card readers, RFID systems, magnetic ...
Access Control Field Technician
Tampa, FL · On-site
$25 - $40/hr
Turing Video Burglar Systems: * Honeywell * DSC Job Qualifications: * 5+ years of commercial access control installation and service experience * Experience with card readers, RFID systems, magnetic ...
Remote Senior AI Software Engineer (Contract)
Seattle, WA · Remote
$139K - $183K/yr
A leading research accelerator in AI is seeking experienced software engineers to evaluate AI-generated code and enhance coding solutions. Candidates should have over 5 years of software engineering ...
Remote Senior AI Software Engineer (Contract)
Seattle, WA · Remote
$139K - $183K/yr
A leading research accelerator in AI is seeking experienced software engineers to evaluate AI-generated code and enhance coding solutions. Candidates should have over 5 years of software engineering ...
Software Architect
New York, NY · On-site
$220K - $250K/yr
Position Overview We're looking for an Engineering Lead / Architect who can own the technical direction of a complex platform modernization while staying hands-on enough to validate that direction ...
Software Architect
New York, NY · On-site
$220K - $250K/yr
Position Overview We're looking for an Engineering Lead / Architect who can own the technical direction of a complex platform modernization while staying hands-on enough to validate that direction ...
Preferred : • Prior SPL, GM, or equivalent role at a human data company (Mercor, Surge, Scale, Turing, Micro1, Scalar AI Labs, AfterQuery, comparable) • Statistics, data science, or technical PM ...
Preferred : • Prior SPL, GM, or equivalent role at a human data company (Mercor, Surge, Scale, Turing, Micro1, Scalar AI Labs, AfterQuery, comparable) • Statistics, data science, or technical PM ...
Full-Stack Software Engineer
San Francisco, CA · On-site
$100K - $250K/yr
How can we fine-tune our models to decrease hallucination and help Alex pass the Turing test? * How will our system architecture change as we scale to thousands more users, concurrently? Problems ...
Full-Stack Software Engineer
San Francisco, CA · On-site
$100K - $250K/yr
How can we fine-tune our models to decrease hallucination and help Alex pass the Turing test? * How will our system architecture change as we scale to thousands more users, concurrently? Problems ...
AI Engineer, LLMs
San Francisco, CA · On-site
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 ...
AI Engineer, LLMs
San Francisco, CA · On-site
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 ...
Lead Forward Deployed Fullstack Engineer
Dallas, TX · On-site
$220K - $250K/yr
We are seeking an experienced Full-Stack Engineer who brings deep Java and React expertise, a polyglot mindset, and the ability to extend existing systems with AI and agentic capabilities. The ideal ...
Lead Forward Deployed Fullstack Engineer
Dallas, TX · On-site
$220K - $250K/yr
We are seeking an experienced Full-Stack Engineer who brings deep Java and React expertise, a polyglot mindset, and the ability to extend existing systems with AI and agentic capabilities. The ideal ...
Global AI Training & Delivery Director
San Francisco, CA · On-site
$249K/yr
A leading technology firm located in San Francisco is seeking a seasoned techno-functional leader to manage large-scale LLM training programs. This role involves overseeing global delivery teams ...
Global AI Training & Delivery Director
San Francisco, CA · On-site
$249K/yr
A leading technology firm located in San Francisco is seeking a seasoned techno-functional leader to manage large-scale LLM training programs. This role involves overseeing global delivery teams ...
AI Engineer, LLMs
San Francisco, CA · On-site
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 ...
AI Engineer, LLMs
San Francisco, CA · On-site
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 ...
AI Engineer in ML Data
San Francisco, CA · On-site
$134K - $162K/yr
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 ...
AI Engineer in ML Data
San Francisco, CA · On-site
$134K - $162K/yr
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 ...
A leading AI company is looking for a candidate with strong analytical and multilingual skills to contribute remotely. The role involves performing research, answering analytical questions, and ...
A leading AI company is looking for a candidate with strong analytical and multilingual skills to contribute remotely. The role involves performing research, answering analytical questions, and ...
A leading AI research accelerator is looking for an experienced English Voice Artist based in the USA to deliver high-quality audio recordings for various projects. The ideal candidate should have at ...
A leading AI research accelerator is looking for an experienced English Voice Artist based in the USA to deliver high-quality audio recordings for various projects. The ideal candidate should have at ...
A leading AI research accelerator based in San Francisco is seeking a medical expert in internal or emergency medicine for a remote contractor role. This unique opportunity involves utilizing your ...
A leading AI research accelerator based in San Francisco is seeking a medical expert in internal or emergency medicine for a remote contractor role. This unique opportunity involves utilizing your ...
Remote Retail Ops Strategist for AI-Decision Apps
San Francisco, CA · On-site +1
$143K - $185K/yr
A leading AI research firm in San Francisco is seeking candidates with strong retail operations experience. This role involves evaluating and improving AI using practical knowledge in merchandising ...
Remote Retail Ops Strategist for AI-Decision Apps
San Francisco, CA · On-site +1
$143K - $185K/yr
A leading AI research firm in San Francisco is seeking candidates with strong retail operations experience. This role involves evaluating and improving AI using practical knowledge in merchandising ...
A leading AI technology firm is seeking a detail-oriented Annotator in Mexico, Estado de México. In this role, you will evaluate visual media against defined guidelines, ensuring quality and ...
A leading AI technology firm is seeking a detail-oriented Annotator in Mexico, Estado de México. In this role, you will evaluate visual media against defined guidelines, ensuring quality and ...
A leading AI research accelerator is seeking an experienced software engineer to evaluate AI-generated code and enhance coding solutions. The role requires strong software development skills and a ...
A leading AI research accelerator is seeking an experienced software engineer to evaluate AI-generated code and enhance coding solutions. The role requires strong software development skills and a ...
Client Director, Frontier Data - US
Palo Alto, CA · On-site
$255K - $325K/yr
Overview We are seeking a seasoned techno-functional leader to drive the development and execution of large-scale LLM training programs. This leader would partner with our clients (leading LLM labs ...
Client Director, Frontier Data - US
Palo Alto, CA · On-site
$255K - $325K/yr
Overview We are seeking a seasoned techno-functional leader to drive the development and execution of large-scale LLM training programs. This leader would partner with our clients (leading LLM labs ...
Senior Software Engineer -- Remote, AI Code Quality & Verification
San Francisco, CA · Remote
$144K - $190K/yr
A leading AI research accelerator in San Francisco is looking for an experienced Software Engineer to evaluate AI-generated code for efficiency and reliability. You will work closely with cross ...
Senior Software Engineer -- Remote, AI Code Quality & Verification
San Francisco, CA · Remote
$144K - $190K/yr
A leading AI research accelerator in San Francisco is looking for an experienced Software Engineer to evaluate AI-generated code for efficiency and reliability. You will work closely with cross ...
Turing information
What type of projects and clients can Turing engineers expect to work with?
Turing engineers are connected with clients ranging from fast-growing startups to large enterprises across a wide variety of industries, such as fintech, e-commerce, health tech, and more. The nature of projects can vary—some may involve building new applications from scratch, while others might focus on optimizing or extending existing systems. Engineers typically collaborate with remote teams in agile environments, requiring adaptability and clear virtual communication. This diversity gives you a chance to build a broad portfolio, gain exposure to cutting-edge technologies, and enhance your skills through challenging assignments.
What is a Turing job?
A Turing job is a remote software engineering position offered through Turing.com, a platform that connects developers with top companies worldwide. Turing uses AI-driven matching to pair engineers with roles that fit their skills, experience, and preferences. These jobs are typically long-term, full-time positions with competitive salaries and opportunities to work with leading tech firms without needing to relocate.
What are the key skills and qualifications needed to thrive in the Turing position, and why are they important?
To succeed as a Turing engineer (a software engineer employed by Turing), you typically need a strong background in computer science, software development, and proficiency in relevant programming languages such as Python, JavaScript, or Java. Familiarity with version control systems like Git, cloud platforms, and experience with remote collaboration tools are common technical requirements; certifications in software development can be a plus. Excellent communication, self-motivation, and problem-solving skills are crucial for collaborating with distributed teams and adapting to diverse project needs. These abilities enable you to deliver high-quality code, collaborate effectively in a remote environment, and thrive in demanding, fast-paced tech projects.
Other
Re-posted 21 hours ago
Job description
At 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 roleJoin 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
- You have an 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
- You have 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
- Provable record of Energy-based usage for different problems
- Hands-on with algorithms used to train Energy-based models
- Demonstrated research publications in any of the major conferences (CVPR, ICLR, ICML, NeurIPS, ICCV, AAAI, ACL, etc.)
Bonus Points
- Multi-node and multi-GPU training
- Mathematical Reasoning - discrete math and logic
- Formal Verification - lean