Remote Jobs at Logical Intelligence

Logical Intelligence

11 - 50 employees

🤖 Artificial Intelligence

🤝 B2B

🏢 Enterprise

Artificial Intelligence • B2B • Enterprise

Logical Intelligence is an AI research and engineering company developing energy‑based models (EBMs) and formal reasoning/proving systems to produce verified code for safety‑critical systems. Their flagship technologies include the Aleph prover — a state‑of‑the‑art formal reasoning system — and Kona 1. 0 (an EBM offering). Leadership shown on their site includes Eve Bodnia (Founder & CEO), Yann LeCun (Founding Chair, Technical Research Board), and senior technical officers. The company emphasizes automatic formal verification for code generation, formal theorem proving benchmarks, and applying EBM reasoning with LLMs as interfaces to scale reliable, agentic AI for critical applications.