Functional Software Engineer

3 weeks ago

Austin Texas, United States Imandra Inc. Full time
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

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, Redis).

Product UIs and visualization tools (React, via the ReasonML/Bucklescript/Melange toolchain, webgl).

Continuous integration and cloud infrastructure (Google Cloud, Kubernetes, Terraform).

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.

Experience collaborating using Git/GitHub/CI tools and processes.

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

Stock Option Plan

  • Functional Software Engineer in Austin

    3 weeks ago

    Austin, Texas, United States Imandra Inc. Full time

    DescriptionAt 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...

  • Functional Software Engineer in Austin

    1 month ago

    Austin, Texas, United States Imandra Inc. Full time

    DescriptionAt 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...

  • Principal Software Engineer

    1 month ago

    Austin, Texas, United States Iodine Software Full time

    Principal Software Engineer Join Us. Let's make a direct impact in healthcare. Being an Iodine employee means becoming part of something bigger: using clinical AI technology to drive smarter healthcare processes and positively impact patient care. Who We Are: Iodine is an enterprise AI company that is championing a radical rethink of how to create value...

  • Senior Software Engineer

    3 weeks ago

    Austin, Texas, United States Siemens Digital Industries Software Full time

    Job Family:Internal Services Req ID:413100 Employer:Siemens Industry Software Inc. Job Title:Senior Software Engineer [MULTIPLE POSITIONS] Job Location:Austin, TX Job Type:Full Time Duties:Design and develop large scale digital simulation software. Design and implement solutions for parsing, elaborating and simulating a digital design description. Develop...

  • Software Engineer

    3 weeks ago

    Austin, United States CORRIDOR Aviation Service Software Full time

    Overview CAMP Systems is the leading provider of aircraft compliance and health management services to the global business aviation industry. CAMP is the pre-eminent brand in its industry and is the exclusive recommended service provider for nearly all business aircraft manufacturers in the world. Our services are delivered through a SaaS plus model and we...

  • Senior Software Engineer

    1 month ago

    Austin, United States Q2 Software, Inc. Full time

    As passionate about our people as we are about our mission. What We're All About: Q2 is proud of delivering our mobile banking platform and technology solutions, globally, to more than 22 million end users across our 1,300 financial institutions and fintech clients. At Q2, our mission is simple: Build strong, diverse communities by strengthening their...

  • Software Engineer

    3 weeks ago

    Austin, United States CORRIDOR Aviation Service Software Full time

    Overview CAMP Systems is the leading provider of aircraft compliance and health management services to the global business aviation industry. CAMP is the pre-eminent brand in its industry and is the exclusive recommended service provider for nearly all business aircraft manufacturers in the world. Our services are delivered through a “SaaS plus” model...

  • Software Engineer

    1 month ago

    Austin, United States CORRIDOR Aviation Service Software Full time

    Overview CAMP Systems is the leading provider of aircraft compliance and health management services to the global business aviation industry. CAMP is the pre-eminent brand in its industry and is the exclusive recommended service provider for nearly all business aircraft manufacturers in the world. Our services are delivered through a SaaS plus model and we...

  • Software Engineer

    1 month ago

    Austin, United States CORRIDOR Aviation Service Software Full time

    OverviewCAMP Systems is the leading provider of aircraft compliance and health management services to the global business aviation industry. CAMP is the pre-eminent brand in its industry and is the exclusive recommended service provider for nearly all business aircraft manufacturers in the world. Our services are delivered through a “SaaS plus” model and...

  • Software Engineer

    1 month ago

    Austin, United States CORRIDOR Aviation Service Software Full time

    OverviewCAMP Systems is the leading provider of aircraft compliance and health management services to the global business aviation industry. CAMP is the pre-eminent brand in its industry and is the exclusive recommended service provider for nearly all business aircraft manufacturers in the world. Our services are delivered through a “SaaS plus” model and...

  • Principal Software Engineer

    4 weeks ago

    Austin, United States TALENT Software Services Full time

    Are you an experienced Principal Software Engineer with a desire to excel? If so, then Talent Software Services may have the job for you! Our client is seeking an experienced Principal Software Engineer to work at their company in Austin/Round Rock - Hybrid, TX.Position Summary: Will be part of the Client's shopping experience. We have multiple products in...

  • Principal Software Engineer

    4 weeks ago

    Austin, United States TALENT Software Services Full time

    Are you an experienced Principal Software Engineer with a desire to excel? If so, then Talent Software Services may have the job for you! Our client is seeking an experienced Principal Software Engineer to work at their company in Austin/Round Rock - Hybrid, TX.Position Summary: Will be part of the Client's shopping experience. We have multiple products in...

  • Principal Software Engineer

    1 month ago

    Austin, United States Talent Software Services Full time

    Principal Software EngineerJob Summary: Talent Software Services is in search of a Principal Software Engineer for a contract position in Austin/Round Rock - Hybrid, TXThe opportunity will be one year with a strong chance for a long-term extension.Position Summary: Will be part of the Client's shopping experienceWe have multiple products in the Shopping...

  • Principal Software Engineer

    1 month ago

    Austin, United States TALENT Software Services Full time

    Principal Software EngineerJob Summary: Talent Software Services is in search of a Principal Software Engineer for a contract position in Austin/Round Rock - Hybrid, TXThe opportunity will be one year with a strong chance for a long-term extension.Position Summary: Will be part of the Client's shopping experienceWe have multiple products in the Shopping...

  • Senior Software Engineer PTM

    1 month ago

    Austin, United States Asure Software Full time

    Job DescriptionJob DescriptionSalary: Who we areOver 600 employees strong, Asure sees Human Capital Management (HCM) through the lens of entrepreneurs and executives with an owner’s mentality. We help businesses develop their “Human Capital” to get to the next level, stay compliant, and allocate their time, money and technology toward growth. Our HCM...

  • Associate Software Engineer

    1 month ago

    Austin, United States Asure Software Full time

    Job DescriptionJob DescriptionSalary: Who we areOver 500 employees strong, Asure sees Human Capital Management (HCM) through the lens of entrepreneurs and executives with an owner’s mentality. We help businesses develop their “Human Capital” to get to the next level, stay compliant, and allocate their time, money and technology toward growth. Our HCM...

  • Functional Safety and Cybersecurity Engineer

    4 days ago

    Austin, United States FLEX Inc Full time

    Job Posting Start Date 06-21-2024 Job Posting End Date 08-21-2024 Flex is the diversified manufacturing partner of choice that helps market-leading brands design, build and deliver innovative products that improve the world. We believe in the power of diversity and inclusion and cultivate a workplace culture of belonging that views uniqueness as a...

  • Software Engineer

    2 weeks ago

    Austin, Texas, United States HP Full time

    Software Engineer - PolyDescription -Poly is seeking a Software Engineer to take part in cutting edge Video endpoint development. In this role, you will be responsible for designing and developing software, working with various functions and development teams in and outside the company and taking part in architecture discussions. Our ideal candidate is a...

  • Functional Safety and Cybersecurity Engineer

    3 weeks ago

    Austin, United States Flex Full time

    Job Posting Start Date 06-21-2024 Job Posting End Date 08-21-2024Flex is the diversified manufacturing partner of choice that helps market-leading brands design, build and deliver innovative products that improve the world.We believe in the power of diversity and inclusion and cultivate a workplace culture of belonging that views uniqueness as a competitive...

  • Staff Software Engineer

    3 weeks ago

    Austin, Texas, United States Auctane - Stamps Full time

    The Staff Software Engineer helps us provide real-time solutions for our customers when they need it the most. This role will function as a core member of our software engineering organization working within a cross-functional team to enhance, modify Software Engineer, Software, Staff, Engineer, Development, Product Management, Technology