AI Researcher in EBM

Logical Intelligence is revolutionizing software development with AI-powered formal verification, providing mathematical guarantees of code correctness. As an AI Research Engineer, you will research and develop innovative algorithms and models to enhance logical reasoning and work collaboratively with AI experts to create groundbreaking 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