companyImandra logo

Functional Software Engineer

ImandraAustin, Texas, United States
On-site Full-time

Clicking Apply Now takes you to AutoApply where you can tailor your resume and apply.


Unlock Your Potential

Generate Job-Optimized Resume

One Click And Our AI Optimizes Your Resume to Match The Job Description.

Is Your Resume Optimized For This Role?

Find Out If You're Highlighting The Right Skills And Fix What's Missing

Experience Level

Experience

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.

Similar jobs

Tailoring 0 resumes

We'll move completed jobs to Ready to Apply automatically.