--- title: 'AI Research Scientist/ Research Engineer: Materials Discovery at Logical Intelligence' canonical: 'https://feeny.ai/job/ai-research-scientist-research-engineer-materials-discovery-logical-4gk3gnzzjnc1' type: 'job' last_seen: '2026-11-08' --- # AI Research Scientist/ Research Engineer: Materials Discovery at Logical Intelligence - **Company:** Logical Intelligence - **Location:** San Francisco, CA - **Posted:** 2026-11-05 - **Last confirmed live:** 2026-11-08 - **Apply:** https://job-boards.greenhouse.io/logicalintelligence/jobs/4480818009 ## Job description At Logical Intelligence, our mission is to accelerate the discovery of materials that make the next generation of technology possible, from light emitters and semiconductors to batteries, electric vehicles, and the chips behind AI and robotics. Large language models alone are not enough to get there. Discovering new materials requires an understanding of chemistry and physics to guide the search, and energy-based models let us build that understanding directly into our discovery loop. We work closely with industry and lab partners to shorten the path from research to real products. ## About the Role As a Research Scientist on our material discovery team, you will help turn that idea into new molecules. You will build the AI systems that propose and evaluate candidates, and work with our partner labs so that every synthesis and measurement teaches the models something. You will join a highly interdisciplinary team of chemists, physicists, and machine learning scientists and engineers, where the biggest impact comes from working together. ## What You’ll Do - Build and improve the AI systems behind our discovery loop, from candidate generation and screening to selecting which molecules to test next. - Develop energy-based models that combine learned representations with physical and chemical knowledge to search chemical space more efficiently. - Own model evaluation, including benchmarks on held-out chemical families, accuracy against both quantum-chemistry calculations and experiment, calibration of uncertainty estimates, prospective tests where the model predicts before the lab measures, and tracking across model versions. - Compare AI predictions with measurements, investigate disagreements, and turn what you learn into concrete model changes, in collaboration with AI researchers and engineers. - Design experiments with our partner labs so that each round of synthesis and testing is as informative as possible. You Will Thrive in This Role If You Have - A background in machine learning, computational chemistry, physics, or a related field, with a PhD, or a Master’s plus relevant industry experience, and hands-on experience building ML models for real scientific problems. - Familiarity with energy-based models, diffusion or score-based models, or similar generative approaches, and an interest in going deeper. - Knowledge of chemistry, or a genuine interest in learning it alongside our chemists. - Experience designing evaluations and experiments that correlate with downstream performance - A strong record of impactful research, shown through publications, patents, open-source software, or methods used in real discovery programs. - Excellent scientific writing and communication, and comfort working in an interdisciplinary team. Especially Strong Candidates May Also Have - Hands-on research experience with energy-based models, or with methods that combine learning with search and optimization. - Experience with molecular ML, such as property prediction, generative molecular design, ML interatomic potentials, or quantum-chemistry workflows (e.g. DFT). - Experience with closed-loop design using real lab feedback [logicalintelligence.com](https://logicalintelligence.com/) ## About Logical Intelligence ## Company Overview - **One-liner**: Logical Intelligence develops AI-powered formal verification agents that provide mathematical guarantees of code correctness for critical systems, using novel Energy-Based Models (EBMs) for reasoning. - **Entity Type**: Private (venture-backed; investors include Upfront Ventures) - **Headquarters**: San Francisco, California, USA - **Founded**: 2025 (based on public launch announcement) - **Founders**: Eve Bodnia (CEO) ## Core Business - **Primary industry**: AI-powered software verification, formal reasoning, and cybersecurity for critical infrastructure. - **Target customers**: B2B, enterprise – organizations building mission‑critical software in energy, finance, aerospace, and smart contracts. - **Mission or purpose**: To make all code provably correct, eliminating bugs and security vulnerabilities through mathematical guarantees. ## Products & Services - **Aleph / Aleph Pro**: An AI agent that performs automatic formal verification of code (Rust, Golang, smart contract VMs). It provides mathematically guaranteed correctness and identifies vulnerabilities before deployment. - **Kona**: The world’s first Energy‑Based Reasoning Model – an AI agent that solves complex logical and mathematical problems (e.g., PutnamBench) with high accuracy (96.2% on public puzzles). Designed to become the “interface layer” for reasoning tasks. - **Energy‑Based Models (EBM) Platform**: A novel foundation model that enables scalable, precise reasoning without the hallucination issues of traditional LLMs. ## Market Standing - **Valuation / Market Cap**: Not publicly available. - **Key Metric**: Total funding not disclosed; backed by Upfront Ventures and a world‑class advisory board including Yann LeCun (Turing Award winner), a Fields Medalist, and ICPC champions. - **Notable Investors / Partners**: Upfront Ventures, Yann LeCun (Founding Chair, Technical Research Board), and other undisclosed institutional investors. - **Growth Signals**: - 24 employees as of mid‑2026, with monthly headcount growth of +9.7%. - Won the PutnamBench formal verification benchmark (672 hard math problems from the William Lowell Putnam Exam). - Published research and open‑source contributions in energy‑based modeling. - Expanding operations across 7 countries (US, UK, Armenia, Colombia, Serbia, Germany, Georgia). ## Competitive Advantages - **Novel technology**: Energy‑Based Models (EBMs) that outperform traditional LLMs on reasoning tasks, with formal verification guarantees. - **Mathematical certainty**: Code is mathematically proven correct – a strong moat for safety‑critical industries. - **World‑class talent**: Team includes Fields Medalists, Turing Award winners, ICPC champions, and top researchers from Google, Facebook, Yandex. - **Early benchmark leadership**: First to achieve top scores on PutnamBench, demonstrating superior logical reasoning. ## Strategic Focus - **Scaling AI agents** for enterprise adoption in energy, finance, and smart contracts. - **Deepening EBM research** to replace traditional LLMs for reasoning in critical systems. - **Hiring aggressively** in AI research, ML infrastructure, and formal verification engineering (roles in San Francisco, Belgrade, or remote). - **Building the “interface layer”** for autonomous reasoning – bridging mathematics and software security. ## Why Work Here - **Cutting‑edge AI research**: Work on foundational models that challenge the LLM paradigm, with opportunities to publish at top conferences (NeurIPS, ICML, ICLR, etc.). - **World‑class team**: Collaborate with Turing Award winners, Fields Medalists, and elite competitive programmers. - **Remote‑friendly**: Roles can be based in San Francisco, Belgrade, or fully remote (with preference for SF or Belgrade). - **Culture of rigor**: Emphasis on mathematical reasoning, formal verification, and provably correct engineering. - **Perks & environment**: Small, fast‑moving startup (24 people) with flat hierarchy; direct impact on product direction; backed by top venture capital. ## Sources 1. [logicalintelligence.com](https://logicalintelligence.com/) 2. [LinkedIn – Logical Intelligence](https://www.linkedin.com/company/logical-intelligence) 3. [Greenhouse – AI Engineer in ML Data](https://job-boards.greenhouse.io/logicalintelligence/jobs/4117916009) 4. [Greenhouse – AI Researcher in EBM](https://job-boards.greenhouse.io/logicalintelligence/jobs/4117912009) ## Other roles at Logical Intelligence - [AI Implementation Strategist — Enterprise Deployment](https://feeny.ai/job/ai-implementation-strategist-enterprise-deployment-logical-intelligence-san-06rbzbygw48s) — San Francisco, CA