Find your next job, search with jobsier
10 kms
4 jobs for ocaml jobs in austin
Functional Software Engineer (Austin TX)
Imandra Inc.
Austin
The Role Youll 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...
Full-time
Posted
via Jobleads
2024 ASIC Formal Verification Engineer Intern, Annapurna Labs Amazon
Abs Data
Austin
Knowledge of declarative programming languages: Ocaml, Haskell. Experience with scripting languages, such as Python, or TCL. Ability to effectively articulate technical challenges and solutions Adept at handling ambiguous or...
Internship
Graduate
Posted
via Jobleads
2024 ASIC Formal Verification Engineer Intern, Annapurna Labs
Amazon
Austin
Knowledge of declarative programming languages: Ocaml, Haskell. Experience with scripting languages, such as Python, or TCL. Ability to effectively articulate technical challenges and solutions Adept at handling ambiguous or...
Internship
Graduate
Posted
via Jobleads
Functional Software Engineer in Austin - Imandra Inc.
WorksHub
Austin
Youll 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...
Full-time
Posted
via Jobleads