AI Researcher: Pioneering Verifiable Code & Reasoning

Logical Intelligence; San Francisco (CA); On-site; USD 150,000 - 210,000; Full time

Job summary

Logical Intelligence in San Francisco is advancing AI-driven formal verification and scalable reasoning for provable code correctness. We are seeking an AI Researcher to push logical reasoning and energy-based modeling forward, collaborating with a world-class team of AI experts and engineers.

In this role you will design novel algorithms beyond traditional LLMs, pre-train and fine-tune models, and integrate cross-team insights to deliver groundbreaking solutions that advance verifiable software

Qualifications

• M.Sc. or Ph.D. preferred in CS/AI/Math or related field.
• 5+ years in ML/DL/Reasoning/Energy-based Modeling.
• Proficiency in Python and C++ for high-performance computing.
• Experience with PyTorch, TensorFlow or JAX.

Responsibilities

• Research new reasoning algorithms and models.
• Pre-train and fine-tune state-of-the-art LLMs.
• Combine reasoning algorithms with LLMs.
• Build efficient ML pipelines.
• Collaborate with other teams to define milestones.

Skills

Strong communication

Teamwork

Explicit and implicit reasoning

Research publications

Education

M.Sc./Ph.D. in CS/AI/Math

Tools

Python

C++

PyTorch

TensorFlow

JAX

Job description

Logical Intelligence in San Francisco is advancing AI-driven formal verification and scalable reasoning for provable code correctness. We are seeking an AI Researcher to push logical reasoning and energy-based modeling forward, collaborating with a world-class team of AI experts and engineers.

In this role you will design novel algorithms beyond traditional LLMs, pre-train and fine-tune models, and integrate cross-team insights to deliver groundbreaking solutions that advance verifiable software