Functional Software Engineer, Imandra

Salary not provided
React
GCP
Redis
Linux
Terraform
Haskell
Git
Unix
Junior, Mid and Senior level
Austin
Imandra

Cloud-scale automated reasoning engine

Open for applications

Imandra

Cloud-scale automated reasoning engine

21-100 employees

B2BArtificial IntelligenceDeep TechMachine LearningSaaS

Open for applications

Salary not provided
React
GCP
Redis
Linux
Terraform
Haskell
Git
Unix
Junior, Mid and Senior level
Austin

21-100 employees

B2BArtificial IntelligenceDeep TechMachine LearningSaaS

Company mission

To revolutionize algorithm design, regulation, transparency, and governance by democratizing automated reasoning.