Imandra is the world leader in cloud-scale automated reasoning.
Formal verification β’ Software safety and correctness β’ Trading systems β’ Financial infrastructure β’ Automated reasoning
11 - 50
π° $5M Seed Round on 2021-09
August 21
π’ In-office - London
β° Full Time
π‘ Mid-level
π Senior
π Customer Success + Account Manager
April 5
π§βπ» Full-stack Engineer
Cloud
GCP
Haskell
Kubernetes
Open Source
React
Redis
Terraform
Unix