The AI Works community logo The Blockchain Works community logo The Functional Works community logo The Golang Works community logo The Java Works community logo The JavaScript Works community logo The Python Works community logo The Remote Works community logo The WorksHub company logo

We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies.

We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies. Less

We use cookies and other tracking technologies... More

Login or register
to publish this job!

Login or register
to save this job!

Login or register
to save interesting jobs!

Login or register
to get access to all your job applications!

Login or register to start contributing with an article!

Login or register
to see more jobs from this company!

Login or register
to boost this post!

Show some love to the author of this blog by giving their post some rocket fuel ๐Ÿš€.

Login or register to search for your ideal job!

Login or register to start working on this issue!

Login or register
to save articles!

Login to see the application

Engineers who find a new job through AI Works average a 15% increase in salary ๐Ÿš€

You will be redirected back to this page right after signin

Imandra Inc.

About us

Who are we?

Imandra is the automated reasoning company. Our cloud-native automated reasoning engine empowers LLMs and other AI systems with rigorous logical reasoning, making them useable for industrial use cases.

  • AI
  • functional programming
  • formal methods
  • Technology
  • Early Stage Venture
  • People: 10-49
  • Founded: 2019

Technology

Software Stack

(5)
  • OCaml
  • React
  • Google Cloud Platform
  • Dockerfile
  • ReasonML

DevOps

(2)
  • Docker
  • CI/CD

Infrastructure

(2)
  • Cloud
  • Google Cloud

Tools

(1)
  • Slack

Check out https://www.imandra.ai/demos

Testing

Manual
Fully automated

Ops

DevOps
Dedicated Ops team

Time to deploy

More than 5 hours
Less than 1 hour

Benefits

Health & Wellness

(1)
  • Health Insurance

Financial benefits

(1)
  • equity plan

Hire with us!

Create a free profile page for your company.

Use this space to connect with our community. Companies with profiles typically get 20% more applications!

Jobs (1)

View all
Functional software engineer to work on integration of Imandra into our customers' LLM products.
Sponsorship
  • Technology
  • Early Stage Venture
  • People: 10-49
  • Founded: 2019

Hire with us!

Create a free profile page for your company.

Use this space to connect with our community. Companies with profiles typically get 20% more applications!

How we work

Videos