Logical Intelligence Tops Leading AI Verification Benchmarks as Verified Code Generation Nears Reality with Aleph

AI Engineer, LLMs

Logical Intelligence is revolutionizing software development with AI-powered formal verification. The AI Engineer will design, implement, and refine efficient Large Language Models (LLMs) pipelines for scaled distributed training, working closely with a team of AI experts to create groundbreaking solutions.

AI Researcher in EBM

Logical Intelligence is revolutionizing software development with AI-powered formal verification. The company is seeking an AI Research Engineer to help design and refine algorithms that enhance logical reasoning capabilities, working closely with a team of AI experts and software developers.