← All roles

AI Researcher - Frontiers & Reasoning

Logical Intelligence· AI RESEARCH
Apply on company site
San FranciscoPosted 7mo ago

About the role

AI Researcher to push the boundaries of logical reasoning and energy-based modeling (EBM) within AI-powered formal verification. Focus on designing and refining algorithms that go beyond traditional LLMs, collaborating with AI experts, EBM specialists, formal verification engineers, and software developers.

Responsibilities

  • Research new reasoning algorithms and models
  • Pre-train and fine-tune the State-of-the-Art LLMs
  • Combine Reasoning algorithm and LLMs
  • Build effective and efficient ML pipelines
  • Collaborate with other teams to understand their pain points and priorities to define milestones of the corresponding roadmaps
  • Derive practical solutions and integrate them with the results of other teams to provide the best overall resolution

Qualifications

  • M.Sc. or Ph.D. (preferable) focusing on Computer Science, Artificial Intelligence, Mathematics, or a closely related field
  • 5+ years of subject matter expertise and research in Machine Learning, Deep Learning, Reasoning, Energy-based Modeling (preferable)
  • Expertise in Python/C++ and ML frameworks (PyTorch/TensorFlow/JAX)
  • Strong communication and teamwork skills
  • Experience with explicit and implicit reasoning
  • Demonstrated research publications in major conferences (CVPR, ICLR, ICML, NeurIPS, ICCV, AAAI, ACL, etc.)

Skills

Required:Reasoning algorithmsPre-training and fine-tuning LLMsPythonC++Deep Learning frameworksCommunicationExplicit and implicit reasoningResearch publications
Nice to have:Energy-based Modeling (EBM)
Last updated Aug 6, 2026. Interested? Apply on the company site.

About Logical Intelligence

AI Certainty for Critical Systems

Logical Intelligence engineers deterministic AI for critical systems. We deliver mathematically verified intelligence beyond LLMs for autonomy, finance, & defense. Explore Math AI & EBMs.

AIdeterministic AIcritical systemsautonomyfinancedefenseMath AIEBMs
Company profileWebsite

More open roles at Logical Intelligence