Email Alert for
ⓘ There was an unexpected error processing your request.
Please refresh the page and try again.
If the problem persists, please contact us with your issue.
You can always manage your preferences and update your interests to ensure you receive the most relevant opportunities.
Get ready to discover your next great opportunity.
Imandra Inc.
Austin, TX, United States
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
Job Source: Imandra Inc.Imandra Inc.
Austin, TX, United States
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 a
Job Source: Imandra Inc.Imandra Inc.
Austin, TX, United States
Imandra is seeking an awesome Product Manager who wants to take a central role at a leading-edge AI startup. Imandra's Automated Reasoning technology is changing the way things work in critical algorithm-heavy industries such as financial markets, and we require an individual who can understand our deeply technical products and help drive their suc
Job Source: Imandra Inc.Ada Diamonds Inc
Austin, TX, United States
We are seeking an experienced software engineer to build interesting, high-impact internal tools for a rapidly growing luxury jewelry startup. As part of our team, the preferred candidate will have ownership of several immediate projects aimed at enhancing the effectiveness of our system. Who We Are: Ada Diamonds is an online custom fine jeweler an
Job Source: Ada Diamonds IncAda Diamonds
Austin, TX, United States
We are seeking an experienced software engineer to build interesting, high-impact internal tools for a rapidly growing luxury jewelry startup. As part of our team, the preferred candidate will have ownership of several immediate projects aimed at enhancing the effectiveness of our system. Who We Are: Ada Diamonds is an online custom fine jeweler
Job Source: Ada DiamondsAda Diamonds Inc
Austin, TX, United States
We are seeking an experienced software engineer to build interesting, high-impact internal tools for a rapidly growing luxury jewelry startup. As part of our team, the preferred candidate will have ownership of several immediate projects aimed at enhancing the effectiveness of our system. Who We Are: Ada Diamonds is an online custom fine jeweler
Job Source: Ada Diamonds IncCare.com, Inc.
Austin, TX, United States
Care.com, Inc. - Senior Software Engineer - Austin, Texas Senior Software Engineer (Care.com, Inc.): Build software platform to support our community team. Analyze, design, program, test, document, and implement new software product features. Duties include: Design and develop an extremely high-volume, fault-tolerant, scalable, and distributed so
Job Source: Care.com, Inc.Pedigo Staffing Services
Austin, TX, United States
Job Description Understands business objectives and problems, identifies alternative solutions, performs studies and cost/benefit analysis of alternatives. Analyzes user requirements, procedures, and problems to automate processing or to improve existing computer system: Confers with personnel of organizational units involved to analyze current op
Job Source: Pedigo Staffing ServicesAustin, TX, United States
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).
Working directly with customers to prototype and develop new product features.
Contributing to novel advanced automated reasoning techniques, formal verification and code synthesis algorithms.
Contributing to open source projects, both upstreaming new features and fixes and publishing new open source libraries.
We’re a small team and our engineers have a high degree of autonomy, so you’ll need to be able to self-organize and identify how best to make an impact.
You'll be based in Austin, TX working with a globally distributed team in different timezones.
#J-18808-Ljbffr
Email Alert for Functional Software Engineer in Austin - Imandra Inc. jobs in Austin, TX, United States
ⓘ There was an unexpected error processing your request.
Please refresh the page and try again.
If the problem persists, please contact us with your issue.
You can always manage your preferences and update your interests to ensure you receive the most relevant opportunities.
Get ready to discover your next great opportunity.