Functional Software Engineer (Austin TX)
Imandra Inc.(1 year ago)
About this role
An R&D Engineer at Imandra helps advance a cloud-based automated reasoning platform that integrates into customers’ software development lifecycles. The company applies its reasoning technology across finance and other industries to make producing correct software simpler and more accessible. The team is globally distributed with primary locations in Austin and London.
Required Skills
- OCaml
- Python
- TypeScript
- React
- PostgreSQL
- Kubernetes
- Terraform
- Google Cloud
- Linux
- Functional Programming
+2 more
About Imandra Inc.
imandra.aiImandra Inc. offers a suite of AI tools powered by advanced automated reasoning and formal verification technology, designed to ensure that algorithms are safe, explainable, and fair. Their platform supports the development of mission-critical code and helps users navigate complex decision-making processes within systems. Businesses leverage Imandra's technology to enhance algorithmic transparency and reliability, making it a go-to solution for clients seeking to integrate AI with integrity and accountability.
Apply instantly with AI
Let ApplyBlast auto-apply to jobs like this for you. Save hours on applications and land your dream job faster.
More jobs at Imandra Inc.
Similar Jobs
DevOps Engineer II (LATAM)
Sezzle(4 days ago)
Mathematical Formalization Specialist (Lean / Formal Proof Systems)
Alignerr(1 month ago)
Backend Engineering Intern - OCaml
Ahrefs(4 years ago)
Systems Engineer, SSL/TLS Team
Cloudflare Events(5 days ago)
Per Diem Family Medicine Physician (Casual Employee)
One Medical(11 days ago)
Staff Engineer - Cloud
Redpin(20 days ago)