AI Researcher - Frontiers & Reasoning

Logical Intelligence is developing AI-powered formal verification systems that provide mathematical guarantees of code correctness and identify bugs and security vulnerabilities. The AI Researcher will research reasoning algorithms and models, pre-train and fine-tune large language models, develop efficient machine learning pipelines, and collaborate across teams to integrate practical solutions.

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