Imandra
Functional Software Engineer (Austin TX)
Functional Software Engineer (Austin TX)
3 weeks ago Be among the first 25 applicants At Imandra, we build tools for reasoning about algorithms. Our technology forms an integral part of our customers' software development lifecycles, from the design stage to analytics and monitoring of critical production systems.
Imandra strives to recruit, develop, and retain the most talented people worldwide, regardless of their background. We are looking for the best R&D Engineers to help scale our products to the next level.
We have a solid foothold in the financial sector, and we are now applying Imandra's general purpose automated reasoning tools to other industries to help make producing correct software simpler and more accessible for everyone.
If you're interested in finding out more about the Imandra reasoning engine, check out our interactive technical docs at https://docs.imandra.ai/.
The Role And Responsibilities
You'll be working on developing our cloud-based automated reasoning platform, primarily using OCaml.
There are opportunities to get involved across the full stack according to your skills and interests:
Our web APIs and backend services (OCaml, PostgreSQL, Python, TypeScript) Product UIs and visualization tools (React, via the ReasonML/Bucklescript/Melange toolchain) Continuous integration and cloud infrastructure (Google Cloud, Kubernetes, Terraform, GitHub Actions) Modeling and verifying customer production systems using Imandra Working directly with customers to prototype and develop new product features Contributing to novel advanced proof automation techniques, formal verification, and code synthesis algorithms Contributing to open source projects, both upstreaming new features and fixes and publishing new open source libraries
You'll be working with a globally distributed team in different time zones. Our primary locations are Austin, TX and London, UK.
Requirements
What you will bring
What we're looking for
Strong software development skills A product-focused mindset, with a willingness to design, develop and deliver features and improvements across the full software stack An interest in typed, functional languages Competent Linux/Unix skills
Skills That Are a Bonus
We don't expect everyone to have these, but any experience or interest in working with them would definitely be a plus:
Experience building projects with OCaml, ReasonML, Haskell, or other functional programming languages Working with cloud infrastructure, specifically GCP An interest in theorem proving and formal verification Experience contributing to open-source projects
Benefits
Medical, Dental, and Vision insurance 401K Plan Relocation Package Stock Option Plan Seniority level
Seniority level
Entry level Employment type
Employment type
Full-time Job function
Industries
IT Services and IT Consulting Referrals increase your chances of interviewing at Imandra by 2x Sign in to set job alerts for Software Engineer roles.
Austin, TX $100,000.00-$150,000.00 5 days ago Austin, TX $100,000.00-$150,000.00 1 month ago Austin, TX $150,000.00-$175,000.00 3 months ago Austin, TX $95,200.00-$168,700.00 4 days ago Software Development Engineer (Full Stack), Amazon Key
Austin, TX $129,300.00-$223,600.00 2 weeks ago Austin, TX $135,000.00-$230,000.00 2 weeks ago Austin, TX $90,000.00-$140,000.00 2 months ago Austin, TX $90,000.00-$170,000.00 5 months ago Austin, TX $120,000.00-$160,000.00 1 month ago Software Engineer I (Intern) United States
Austin, TX $44,000.00-$130,000.00 1 day ago Austin, TX $150,000.00-$180,000.00 1 week ago Austin, TX $90,000.00-$150,000.00 1 month ago Were unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI. #J-18808-Ljbffr
Functional Software Engineer (Austin TX)
3 weeks ago Be among the first 25 applicants At Imandra, we build tools for reasoning about algorithms. Our technology forms an integral part of our customers' software development lifecycles, from the design stage to analytics and monitoring of critical production systems.
Imandra strives to recruit, develop, and retain the most talented people worldwide, regardless of their background. We are looking for the best R&D Engineers to help scale our products to the next level.
We have a solid foothold in the financial sector, and we are now applying Imandra's general purpose automated reasoning tools to other industries to help make producing correct software simpler and more accessible for everyone.
If you're interested in finding out more about the Imandra reasoning engine, check out our interactive technical docs at https://docs.imandra.ai/.
The Role And Responsibilities
You'll be working on developing our cloud-based automated reasoning platform, primarily using OCaml.
There are opportunities to get involved across the full stack according to your skills and interests:
Our web APIs and backend services (OCaml, PostgreSQL, Python, TypeScript) Product UIs and visualization tools (React, via the ReasonML/Bucklescript/Melange toolchain) Continuous integration and cloud infrastructure (Google Cloud, Kubernetes, Terraform, GitHub Actions) Modeling and verifying customer production systems using Imandra Working directly with customers to prototype and develop new product features Contributing to novel advanced proof automation techniques, formal verification, and code synthesis algorithms Contributing to open source projects, both upstreaming new features and fixes and publishing new open source libraries
You'll be working with a globally distributed team in different time zones. Our primary locations are Austin, TX and London, UK.
Requirements
What you will bring
What we're looking for
Strong software development skills A product-focused mindset, with a willingness to design, develop and deliver features and improvements across the full software stack An interest in typed, functional languages Competent Linux/Unix skills
Skills That Are a Bonus
We don't expect everyone to have these, but any experience or interest in working with them would definitely be a plus:
Experience building projects with OCaml, ReasonML, Haskell, or other functional programming languages Working with cloud infrastructure, specifically GCP An interest in theorem proving and formal verification Experience contributing to open-source projects
Benefits
Medical, Dental, and Vision insurance 401K Plan Relocation Package Stock Option Plan Seniority level
Seniority level
Entry level Employment type
Employment type
Full-time Job function
Industries
IT Services and IT Consulting Referrals increase your chances of interviewing at Imandra by 2x Sign in to set job alerts for Software Engineer roles.
Austin, TX $100,000.00-$150,000.00 5 days ago Austin, TX $100,000.00-$150,000.00 1 month ago Austin, TX $150,000.00-$175,000.00 3 months ago Austin, TX $95,200.00-$168,700.00 4 days ago Software Development Engineer (Full Stack), Amazon Key
Austin, TX $129,300.00-$223,600.00 2 weeks ago Austin, TX $135,000.00-$230,000.00 2 weeks ago Austin, TX $90,000.00-$140,000.00 2 months ago Austin, TX $90,000.00-$170,000.00 5 months ago Austin, TX $120,000.00-$160,000.00 1 month ago Software Engineer I (Intern) United States
Austin, TX $44,000.00-$130,000.00 1 day ago Austin, TX $150,000.00-$180,000.00 1 week ago Austin, TX $90,000.00-$150,000.00 1 month ago Were unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI. #J-18808-Ljbffr