AI Researcher – Frontiers & Reasoning

Job overview

The AI Researcher – Frontiers & Reasoning role is onsite in San Francisco, CA. Compensation is not specified. The researcher works with AI experts, energy-based modeling specialists, formal verification engineers, and software developers at Logical Intelligence. The role exists to advance reasoning algorithms and models beyond traditional large language model capabilities. Its work contributes to the company's effort to develop AI agents and models for formally verifiable code and software correctness.

What you'll do

• Research reasoning algorithms and models
• pre-train and fine-tune large language models
• combine reasoning algorithms with language models
• build efficient machine-learning pipelines
• collaborate across teams to identify priorities and define roadmap milestones
• integrate practical solutions with other teams' results.

What we're looking for

Skills & competencies

ai researcher

frontiers & reasoning

san francisco ca

logical intelligence

machine learning

deep learning

reasoning algorithms

energy-based modeling

large language models

formal verification

python

pytorch

Work arrangement

• Weekend coverage required

Why this role

The company focuses on AI-powered formal verification and mathematical guarantees of code correctness.

About the employer

Logical Intelligence is hiring for this role. Industry: Software Publishers. Sector: 51.