We’ve got a product, we’ve got customers, and we need some awesome engineers ready to take this to the next level.

Essential is the first declarative blockchain. By leveraging constraints to remove the need for execution, Essential enables developers to build scalable applications that optimize for the best user outcomes.

Functional software engineer to work on integration of Imandra into our customers' LLM products.

Hardening blockchain security with formal methods