> Markdown version of [/jobs/ext/4543518-ai-researcher-frontiers-reasoning](https://www.wearedevelopers.com/jobs/ext/4543518-ai-researcher-frontiers-reasoning). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# AI Researcher - Frontiers & Reasoning

- **Company:** Logical Intelligence
- **Location:** San Francisco, CA, United States
- **Experience:** Expert
- **Contract:** Permanent contract
- **Skills:** Artificial Intelligence, C++ (Programming Language), Cyber Security, Software Debugging, Formal Verification, Python (Programming Language), Machine Learning, Node.Js, Tensorflow, Software Engineering, High Performance Computing, Pytorch, Large Language Models, Deep Learning, Information Technology, Machine Learning Operations, Programming Languages
- **Published:** November 3, 2026
- **Apply:** https://www.careerbuilder.com/job-details/ai-researcher-frontiers-reasoning-san-francisco-ca--49d82506-8b57-432e-ad3c-c33a7ab7a8c0

## About the Role

Research Skills, Artificial Intelligence (AI), Computer Security, Benchmarking, Debugging Skills, Software Development, Artificial Intelligence (AI), VMS Operating System, Formal Verification, Mathematics, * 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 reasonin
 * 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
 * Provable record of Energy-based usage for different problems
 * Hands-on with algorithms used to train Energy-based models
 * Formal Verification - lean

## Description

Join our team as an AI Researcher 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