Functional Software Engineer in Austin

2 weeks ago


Austin, Texas, United States Imandra Inc. Full time

Description

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, Kuberenetes, 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.

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.
BenefitsMedical, Dental, and Vision insurance 401K Plan Stock Option Plan

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

  • Software Engineer

    2 weeks ago


    Austin, Texas, United States Sock Club Full time

    Position Overview: Reporting to and working closely with the Development Manager, we are looking for a Software Engineer with a strong background in Ruby on Rails, ReactJS-based frameworks and experience building Rails API / ReactJS systems. The ideal candidate will have a proven record of delivering high-quality software solutions, leading technical...


  • Austin, Texas, United States Asure Software Full time

    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 platform empowers more than 80,000 clients to...


  • Austin, Texas, United States Simplex Full time

    We are working with a local Austin company that is hiring candidates who have graduated with a Computer Science or related technical Bachelors Degree from a top school.This role is On-site M-F in Northwest Austin, TX. We are looking for someone local or willing to relocate (We will reimburse for relocation expenses and also will sponsor VIsas.)Our client is...


  • Austin, Texas, United States ESR Healthcare Full time

    Director of commission Austin tx Experience level: Mid Level (5-8 yrs exp.) Experience required: 5 Years Education level: Bachelor's degree Job function: Engineering Industry: Civil Engineering Compensation: View salary Total position: 1 Relocation assistance: Limited assistance Visa sponsorship eligibility: NoJOB DESCRIPTION: A well-established Engineering...

  • Software Engineer

    6 days ago


    Austin, Texas, United States Assessment & Qualifications Full time

    About Clinical AssessmentWith more than 80 years of experience in the assessment field, Pearson's Clinical Assessment group offers innovative and comprehensive products and services to meet our varied customers' needs. Clinical Assessment's internationally recognized products and services assist skilled, compassionate professionals to improve lives. We have...

  • Technical Leader

    1 month ago


    Austin, Texas, United States Austin Capital Bank Full time

    A Technical Leader at Austin Capital Bank will have the skill sets needed to analyze, design, architect, develop software web applications, and contribute to all phases of the software development life cycles.Company Overview:Austin Capital Bank (ACB) is a rapidly growing community bank with an emphasis on technology. Located in Austin, Texas, ACB is a...


  • Austin, Texas, United States Zynga Full time

    AVAILABLE POSITIONS Principal Software EngineerCareers Category:EngineeringCareers location:Austin, TX; Carlsbad, CA; Eugene, ORConnected Worker Type:ConnectedRequisition Id:R_112280Zynga is looking for a technical performance engineer in the Carlsbad, Austin or Eugene areas, and more specifically, someone whose level of experience should be equivalent to a...


  • Austin, Texas, United States Iodine Software Full time

    Director - Site Reliability Engineering Join us. Let's make a direct impact in healthcare. Being an Iodine employee means becoming part of something bigger: using clinical AI echnology 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...


  • Austin, Texas, United States University of Texas at Austin Full time

    Job Posting Title:Research Engineering/ Scientist Assistant, Department of Biomedical Engineering----Hiring Department:Biomedical Engineering----Position Open To:All Applicants----Weekly Scheduled Hours:40----FLSA Status:Exempt----Earliest Start Date:May 01, 2024----Position Duration:Expected to Continue Until May 31, 2025----Location:UT MAIN CAMPUS----Job...


  • Austin, Texas, United States Closinglock Full time

    Company OverviewClosinglock is modernizing the real estate world's way of transferring information and funds to eliminate wire fraud and provide a secure, easy-to-use platform for title companies, law firms, and other financial services to protect themselves and their clients from wire fraud. We act in the long-term best interests of our customers by...


  • Austin, Texas, United States Austin Community College Full time

    Adjunct Faculty, EngineeringAustin Community CollegeJob Posting Closing Times: Job postings are removed from advertising at 12:00 A.M. on the closing date e.g., at midnight on the day before the closing date.If you are a current Austin Community College employee, please click this link to apply through your Workday account.Austin Community College is a...

  • Software Engineer II

    2 weeks ago


    Austin, Texas, United States IQVIA Full time

    We are looking for a Software Engineer II to join Q2 Solutions, IQVIA's laboratory business in Austin, TX. We are on the lookout for passionate innovators who push healthcare forward through collaborative efforts. If you are seeking a career with a higher purpose, come join us as we revolutionize research and development.As a Software Engineer II, you will...

  • Principal Architect

    4 weeks ago


    Austin, Texas, United States Austin Capital Bank Full time

    Company Overview:Austin Capital Bank (ACB) is a rapidly growing community bank with an emphasis on technology. Located in Austin, Texas, ACB is a nationwide leader in consumer-friendly, responsible financial innovation.Austin Capital Bank serves its customers and partners from a position of strength. We steward our bank with integrity and meticulous...


  • Austin, Texas, United States NinjaOne Full time

    About the RoleWe are looking for a dynamic, technical hands-on Director of Engineering to lead a group of product development engineers and drive the development of cutting-edge IT Operations software products. Be pivotal in shaping our technology strategy, ensuring scalability, security, and innovation, while fostering a collaborative and high-performance...


  • Austin, Texas, United States Amazon Full time

    Do you obsess over software performance and challenge yourself and others to deliver highly scalable, low latency, reliable and fast services to your customers?The IT Services Product and Development organization (ITS PnD) of Amazon is looking for talented Software Development Engineers who find motivation on solving interesting problems and building...


  • Austin, Texas, United States VICTORY Full time

    About the Staff Software Engineer positionWe are looking for a Staff Software Engineer who will be a key member of the Engineering team. You will be architecting, implementing and maintaining the SaaS Platform and other software products. You are good at collaboration. You learn quickly and ask questions when needed. You can mentor younger developers to help...


  • Austin, Texas, United States Logging-in Full time

    Job Title PreSilicon Validation/Emulation Engineer Location Austin TX (can be initial remote)Client IntelPosition 2 Power and performance validation experience and RTL HW design and validation experience Pre-Si simulation or emulation" The work is System Validation in PCIe Mesh and Power Management and would be aligned to most of the work/opportunities we...

  • Software Engineer

    1 month ago


    Austin, Texas, United States Apple Full time

    SummaryPosted: Apr 18, 2024Role Number: At Apple, we believe in the power of technology to enrich people's lives. Everything we build is designed to empower people, including our advertising platform. We deliver ads in a way that benefits both customers and advertisers - helping people discover content, supporting creators, and protecting and respecting...


  • Austin, Texas, United States Austin Energy Full time

    Position Information Posting Title Business Process Specialist Job Requisition Number AE503688 Position Number Job Type Full-Time Division Name Corporate Services Minimum Qualifications Education and/or Equivalent Experience: Graduation with a Bachelor's degree from an accredited college or university with major coursework in a field related to the job, plus...