AI Engineer in ML Data
Logical Intelligence
Location
🇺🇸 United States
Type
full_time
Salary
Undisclosed
Posted
3w ago
Job Description
Who We Are At Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code correctness, ensuring that software behaves exactly as intended while proactively identifying bugs and security vulnerabilities. Our novel foundation model enables scalable, precise reasoning for formally verifiable code across Rust, Golang, and smart contract VMs. We’ve won a well-known formal verification benchmark called PutnamBench, which consists of 672 hard math problems from the William Lowell Putnam Exam, the oldest collegiate mathematics competition in North America. Backed by a world-class team – including ICPC champions, a Fields Medalist and an ACM Turing Award winner – we're building the future where all code is provably correct.
About The Role
Join our team as an AI Engineer and help us push the boundaries of what's possible in logical reasoning! We’re looking for a motivated individual to design and refine the data and ML pipelines for scaled distributed training and validation of ML models. You'll work closely with a talented team of AI experts, EBM specialists, formal verification engineers, and software developers to create groundbreaking solutions.
What You'll Do
- Research new reasoning algorithms and models
- Develop model benchmarking processes and tools
- Build effective and efficient ML data pipelines
- Adjust frameworks and interfaces to accelerate machine learning development
- Develop the infrastructure for data augmentation pipelines and synthetic data generation