Logical Intelligence
Hiring for 2 positions
Logical Intelligence transforms software development with its innovative AI-powered formal verification tools. Aimed at developers working with Rust, Golang, and smart contracts, we ensure code correctness and proactively detect bugs and security vulnerabilities. Our unique approach not only provides mathematical guarantees for software behavior but has also earned recognition through winning the prestigious PutnamBench.
No jobs found
Try different keywords or remove some filters.
Or create a free account and we’ll email you when new jobs match what you’re looking for.
Create a free account
Searching