Deployment Strategist
Logical Intelligence
Deployment Strategist
Logical Intelligence
Formal-verification AI for critical systems
This role is based in San Francisco or New York and will report to the Head of GTM.
Logical Intelligence builds AI reasoning systems for complex, constrained problems. Our platform, Workbench, post-trains our proprietary models on an industrial R&D team's own data, inside the customer's environment, to design new molecules. We started with organometallic chemistry.
You will own each materials-discovery partnership, taking each use case from the first scoping call through a paid pilot to a production license. You run the program, and our forward-deployed researchers run the science, working alongside the customer's chemists.
This is a senior individual contributor role starting January 2027 for someone with 5 to 10 years of experience.
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