More jobs:
Cloud Software Engineer: OCaml, Verification & Source
Job in
Austin, Travis County, Texas, 78716, USA
Listed on 2026-02-28
Listing for:
Imandra
Full Time
position Listed on 2026-02-28
Job specializations:
-
Software Development
Software Engineer
Job Description & How to Apply Below
A leading technology firm is seeking R&D Engineers to enhance their cloud-based automated reasoning platform, utilizing OCaml and various web technologies. Responsibilities include developing APIs, contributing to code verification, and collaborating with a global team. Candidates should possess strong software development skills, with a focus on product delivery. Additional experience with functional programming in languages like OCaml is a bonus.
The role offers comprehensive benefits including medical insurance and a stock option plan.
#J-18808-Ljbffr
To View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
Search for further Jobs Here:
×