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 a
Job Source: Imandra Inc.Pedigo Staffing Services
Austin, TX, United States
Peoplesoft ConsultantAgency: Texas Health and Human Services CommissionSolicitation: 529400992R1Location: HHSC Winters Building 701 W 51st St, Austin, TX 78751Duration: On-going, no ending dateVisa: Must be US Citizen, Green Card, EAD. No H1B Requirements/Preferences:8 years, Required - Experience as a Business Analyst on PeopleSoft Financials and
Job Source: Pedigo Staffing ServicesPedigo Staffing Services
Austin, TX, United States
Peoplesoft Consultant Agency: Texas Health and Human Services Commission Solicitation: 529400992R1 Location: HHSC Winters Building 701 W 51st St, Austin, TX 78751 Duration: On-going, no ending date Visa: Must be US Citizen, Green Card, EAD. No H1B Requirements/Preferences: 8 years, Required - Experience as a Business Analyst on PeopleSoft Financia
Job Source: Pedigo Staffing ServicesSetpoint Technologies Inc.
Austin, TX, United States
About the role: Behind many of life’s most important transactions — buying a house, applying for a mortgage, getting a small business loan, or refinancing a credit card — is a network of credit relationships. Setpoint provides critical infrastructure for relationships between the world’s largest banks, credit funds and capital markets counterparti
Job Source: Setpoint Technologies Inc.Pedigo Staffing Services
Austin, TX, United States
Java Software Developer Agency: HHSC Solicitation: 529300500 Location: 701 W 51st St. Austin, TX 78751 Duration: On-going, no ending dateJava Software Developer Agency: Texas Health and Human Services Commission Solicitation: 529400789 Location: 1609 Centre Creek Dr., Austin, Texas 78754 Duration: On-going, no ending date Visa: Must be US
Job Source: Pedigo Staffing ServicesBrainGu
Austin, TX, United States
We are BrainGu We are a technology company that builds platforms for Developers and End-users. We offer a comprehensive approach to support our customer's ability to change the box and solve complex problems. If you're excited about this role, but your experience doesn't align perfectly, we encourage you to apply anyway. We believe tech is only 1
Job Source: BrainGuBrainGu
Austin, TX, United States
We are BrainGu We are a technology company that builds platforms for Developers and End-users. We offer a comprehensive approach to support our customer's ability to change the box and solve complex problems. If you're excited about this role, but your experience doesn't align perfectly, we encourage you to apply anyway. We believe tech is only 1
Job Source: BrainGuWorksHub
Austin, 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 tool
Job Source: WorksHubAustin, 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 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 https://docs.imandra.ai/.
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
#J-18808-Ljbffr
Email Alert for Functional Software Engineer (Austin TX) 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.