> Markdown version of [/jobs/ext/2844047-ai-researcher](https://www.wearedevelopers.com/jobs/ext/2844047-ai-researcher). 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

- **Company:** Logical Intelligence
- **Location:** Sonoma, CA, United States
- **Experience:** Expert
- **Contract:** Permanent contract
- **Skills:** Artificial Intelligence, C++ (Programming Language), Formal Verification, Python (Programming Language), Machine Learning, Tensorflow, Software Engineering, Rust (Programming Language), High Performance Computing, Pytorch, Large Language Models, Deep Learning, Information Technology, Golang, Programming Languages
- **Published:** September 11, 2026
- **Apply:** https://www.thejobnetwork.com/job/f5f02be3-01dd-42a0-89f3-0c69f5aee67b/ai-researcher-frontiers-reasoning

## About the Role

* 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
\n

 * 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)
\n

 * 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
\n

 * Strong communication and teamwork skills
\n

 * Experience with explicit and implicit reasoning
\n

 * Demonstrated research publications in any of the major conferences (CVPR, ICLR, ICML, NeurIPS, ICCV, AAAI, ACL, etc.

## 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., n

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.


## Related Videos

- [The LLM Evolution: From Sequence Imitation to Verifiable Reasoning](https://www.wearedevelopers.com/videos/100343-the-llm-evolution-from-sequence-imitation-to-verifiable-reasoning)
- [Machine learning in the browser with TensorFlowjs](https://www.wearedevelopers.com/videos/155-machine-learning-in-the-browser-with-tensorflowjs)
- [Photonic Computing: Programming a New Class of AI Accelerators (incl. Live Coding)](https://www.wearedevelopers.com/videos/100196-photonic-computing-programming-a-new-class-of-ai-accelerators-incl-live-coding)
- [Go with the Flow: Stop the Leaks Before Your Memory's a Waterfall!](https://www.wearedevelopers.com/videos/100073-go-with-the-flow-stop-the-leaks-before-your-memory-s-a-waterfall)
- [Getting Started with Machine Learning](https://www.wearedevelopers.com/videos/260-getting-started-with-machine-learning)
- [Developing an AI.SDK](https://www.wearedevelopers.com/videos/198-developing-an-ai-sdk)

## Related Articles

- [How to Become an AI Engineer](https://www.wearedevelopers.com/magazine/331-how-to-become-an-ai-engineer)
- [MLOps And AI Driven Development](https://www.wearedevelopers.com/magazine/82-mlops-and-ai-driven-development)
- [Coffee with Developers - Maria Apazoglou - Making AI understandable for all in production](https://www.wearedevelopers.com/magazine/475-coffee-with-developers-maria-apazoglou-making-ai-understandable-for-all-in-production)
- [What Industries Outside of AI Are Hiring The Most AI Experts?](https://www.wearedevelopers.com/magazine/98-what-industries-outside-of-ai-are-hiring-the-most-ai-experts)
- [MLOps – What’s the deal behind it?](https://www.wearedevelopers.com/magazine/125-mlops-what-s-the-deal-behind-it)
- [What Are Large Language Models?](https://www.wearedevelopers.com/magazine/304-what-are-large-language-models)