L

Logical Intelligence

Formal-verification AI for critical systems

AI Research Scientist/ Research Engineer: Materials Discovery

AI ResearchConfirmed live in the last 24 hours
Full-timeSan Francisco, CA, USANo salary listedIn-person

About the Job

Requirements

  • 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 machine learning models for real scientific problems.
  • Familiarity with energy-based models, diffusion or score-based models, or similar generative approaches, and an interest in further developing that expertise.
  • Knowledge of chemistry, or a genuine interest in learning it alongside chemists.
  • Experience designing evaluations and experiments that correlate with downstream performance.
  • A strong record of impactful research, demonstrated through publications, patents, open-source software, or methods used in real discovery programs.
  • Scientific writing and communication skills, and comfort working in an interdisciplinary team.

Responsibilities

  • Build and improve the AI systems behind the 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 quantum-chemistry calculations and experiments, 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 translate findings into concrete model changes in collaboration with AI researchers and engineers.
  • Design experiments with partner labs so each round of synthesis and testing is as informative as possible.

Desired Qualifications

  • Hands-on research experience with energy-based models, or with methods that combine learning with search and optimization.
  • Experience with molecular machine learning, such as property prediction, generative molecular design, machine-learning interatomic potentials, or quantum-chemistry workflows such as density functional theory.
  • Experience with closed-loop design using real laboratory feedback.

About the Company

Logical Intelligence

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.

Company size
11-50
Company stage
Not listed
Total funding
Not listed
Headquarters
San Francisco, CA
Founded
2025

Recently Posted Jobs

Explore more opportunities at Logical Intelligence

See more jobs