AI Engineer - Reinforcement Learning

Logical Intelligence is revolutionizing software development with AI-powered formal verification that provides mathematical guarantees of code correctness and identifies bugs and security vulnerabilities. The AI Engineer will design, implement, and refine large language model pipelines and reasoning algorithms for scaled distributed training, while collaborating with AI, formal verification, and software engineering teams.

Responsibilities:

• Implement new reasoning algorithms and models
• Evaluate reasoning approaches, including latent space reasoning
• Pre-train, fine-tune, and modify the State-of-the-Art LLMs
• Optimizing and scaling LLM pipelines
• Adjust frameworks and interfaces to accelerate machine learning development
• Derive practical solutions and integrate them with the results of other teams to provide the best overall resolution