--- title: 'AI Implementation Strategist — Enterprise Deployment at Logical Intelligence' canonical: 'https://feeny.ai/job/ai-implementation-strategist-enterprise-deployment-logical-intelligence-san-06rbzbygw48s' type: 'job' last_seen: '2026-11-08' --- # AI Implementation Strategist — Enterprise Deployment at Logical Intelligence - **Company:** Logical Intelligence - **Location:** San Francisco, CA - **Posted:** 2026-10-27 - **Last confirmed live:** 2026-11-08 - **Apply:** https://job-boards.greenhouse.io/logicalintelligence/jobs/4468714009 ## Job description AI Implementation Strategist — Enterprise Deployment Level: Senior Individual Contributor; exact title and level flexible based on experience Reports to the Head of GTM.  Location is San Francisco or New York. ## About the Role Logical Intelligence is building a new class of AI reasoning systems designed to solve complex problems under real-world constraints. We’re looking for a highly technical, hands-on AI Implementation Strategist to bridge our research and engineering teams with strategic enterprise customers. You’ll work directly with customers to understand difficult technical problems, identify where our technology can create value, and take use cases from initial discovery through pilot and production. This is a hands-on IC role for someone who wants to stay deep in the day-to-day work rather than manage a team. ## What You’ll Do - Technical Discovery & Architecture: Work directly with enterprise customers to understand their technical environments and translate complex problems into AI use cases, architectures, integrations, and measurable success criteria. - Pilot-to-Production Deployment: Scope and drive technical pilots and integrations, helping customers move from early experimentation to production. - Research-to-Customer Bridge: Work closely with Logical Intelligence research and engineering teams to solve deployment challenges and bring customer learnings back into the product. - Technical Customer Leadership: Build credibility with technical and business stakeholders and guide customers through ambiguous, high-value AI initiatives. - Commercial Expansion: Combine technical depth with commercial judgment to identify valuable use cases and help successful deployments grow into long-term enterprise relationships. ## What We’re Looking For - Strong technical foundation in computer science, engineering, mathematics, statistics, or another quantitative discipline - Hands-on experience deploying complex software, data, ML, or AI systems with enterprise customers - Strong understanding of modern AI/software architectures and the ability to engage deeply with technical teams - Experience translating ambiguous customer problems into concrete technical requirements and deployment plans - Experience taking pilots or proofs of concept toward production - Comfortable working directly with both engineers and senior customer stakeholders - Strong ownership mentality and comfort operating in an early-stage environment where the playbook is still being built Experience in industrial, chemistry, materials, energy, manufacturing, scientific computing, or other technically complex domains is especially valuable. Management consulting or forward-deployed experience is a plus, but not required. We expect many strong candidates to have approximately 8+ years of experience, but technical depth, hands-on execution, and demonstrated impact matter more than a specific number of years. [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 Research Scientist/ Research Engineer: Materials Discovery](https://feeny.ai/job/ai-research-scientist-research-engineer-materials-discovery-logical-4gk3gnzzjnc1) — San Francisco, CA