Qualifications
Role and Responsibilities:As a Functional Software Engineer, you will play a pivotal role in the development of our cloud-based automated reasoning platform, utilizing OCaml as your primary programming language. You will have the opportunity to engage in various aspects of the full technology stack based on your skills and interests:Developing web APIs and backend services (OCaml, PostgreSQL, Python, TypeScript). Creating product UIs and visualization tools (React, utilizing the ReasonML/Bucklescript/Melange toolchain). Enhancing continuous integration and cloud infrastructure (Google Cloud, Kubernetes, Terraform, GitHub Actions). Modeling and verifying customer production systems with Imandra. Collaborating directly with clients to prototype and develop innovative product features. Contributing to advanced proof automation techniques, formal verification, and code synthesis algorithms. Participating in open-source projects by upstreaming new features and fixes and publishing new libraries. You will join a globally distributed team operating across various time zones, primarily based in Austin, TX, and London, UK.
About the job
Imandra is at the forefront of developing innovative tools designed for algorithm reasoning. Our technology seamlessly integrates into our clients’ software development lifecycles, facilitating processes from initial design through to analytics and monitoring of essential production systems.
At Imandra, we are committed to attracting, nurturing, and retaining top-tier talent from diverse backgrounds across the globe. We are in search of exceptional R&D Engineers who are eager to elevate our products to new heights.
With a strong presence in the financial sector, we are expanding the reach of Imandra’s versatile automated reasoning tools into various other industries, simplifying the creation of accurate software for everyone.
If you're curious to explore our Imandra reasoning engine further, visit our interactive technical documentation at https://docs.imandra.ai/.
About Imandra
Imandra is dedicated to revolutionizing software development through automated reasoning technology. Our mission is to make it easier for developers to produce correct software regardless of the industry. We believe in fostering a diverse environment where innovative minds can thrive and contribute to groundbreaking solutions.