AI Research Scientist/ Research Engineer: Materials Discovery
Logical Intelligence
AI Research Scientist/ Research Engineer: Materials Discovery
Logical Intelligence
Formal-verification AI for critical systems
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 RoleAs 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
You Will Thrive in This Role If You Have
Especially Strong Candidates May Also Have
Formal-verification AI for critical systems
Logical Intelligence creates AI for critical software and systems with formal verification. Its products combine energy-based models with automatic formal verification and code generation that is kept under formal reasoning controls, using Aleph Prover and other verification tools. The approach centers on proving properties and certifying generated code, rather than relying on unconstrained chatbot-style AI. The company demonstrates formal reasoning benchmarks, publishes critiques of frontier AI honesty around economic risk from unverified AI, and sells or partners on critical-systems AI and formal-verification technology. Compared with competitors, it emphasizes certainties and verified outcomes for safety-critical domains over open-ended AI, aiming to deliver AI that can be trusted in high-stakes environments. Overall, the goal is to provide deep-tech AI and formal verification solutions that enable verified, correct behavior in critical software and systems.
Explore more opportunities at Logical Intelligence