AI Engineer - Reinforcement Learning
Apply on the employer’s site Open in Atlas
About this role
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…
Excerpt only. The full posting is on the employer’s careers site.
More jobs at Logical Intelligence
- AI Researcher - Frontiers & ReasoningLogical Intelligence · San Francisco
- AI Engineer in Synthetic DataLogical Intelligence · San Francisco