Jobs Referso Partner API

Free job alerts

OCaml jobs

Job titleLocation

Popular:United States Canada Viet Nam

All filtersRefine by skill, company, date, job type, industry and more

Company

Skillsjobs that use all of them

OCaml

Popular

Date posted

Any timePast hourPast 24 hoursPast week

Workplace

RemoteHybridOn-site

Job type

Full-timePart-timeContractInternshipTemporary

Experienceyears required

0–2 years2–5 years5–10 years10+ years

Salary

Salary listed

Education

High schoolAssociate degreeBachelor's degreeProfessional certificatePostgraduate degree

Industryfield of work

Software & InternetHardware & ElectronicsEngineeringHealthcareLife Sciences & ResearchFinance & AccountingSales & Business DevelopmentMarketing & CommunicationsCreative & DesignCustomer Service & SupportAdministrative & OfficeHuman Resources & RecruitingLegal & ComplianceManagement & OperationsEducation & TrainingRetailHospitality & Food ServiceManufacturing & ProductionSkilled Trades & ConstructionTransportation & LogisticsFacilities, Cleaning & SecuritySocial Services & Public SectorEnergy, Environment & Agriculture

1 selected

Skill:OCaml

Referso Jobs

Fresh jobs from employer career sites in the US and Europe. Search free, get alerts free, and let Referso apply when you're ready.

Job seekersSearch jobs Free job alerts Remote jobs Jobs by location Jobs by skill

RefersoAuto-apply How it works Pricing Log in

For companiesPartner API (beta)API docs Contact sales

CompanyAbout Contact Privacy Terms

© 2026 Referso. Jobs link to the original posting; Referso is not affiliated with the employers listed.Privacy Terms Request a removal

1–3 jobs· newest first

Formal Methods Research and Development
Jane Street · New York, US
Internship · Intern
Formal Methods Research and Development
Jane Street · London, United Kingdom
Internship · Intern
Senior Software Engineer – OCaml/C# – OTC Core
SimCorp · Copenhagen, Denmark
Hybrid · Full-time · Senior

+10K new in the last hour

Formal Methods Research and Development

Jane Street · Posted Nov 9, 2026

New York, New York, United States
Internship · Intern

Apply with RefersoAI Apply on careers page

Internship in Formal Methods group of OCaml Language team at Jane Street

Responsibilities

Collaborate with full-time employees on real-world projects
Develop and evaluate tools for property-based testing and refinement type systems
Participate in guest speakers and social events
Contribute to production codebase of OxCaml

Requirements

PhD
Postdoctoral
Master's

Skills

Program verification Programming language semantics Property-based testing Static analysis Model checking OCaml OxCaml

See full job description

Formal Methods Research and Development

Jane Street · Posted Nov 9, 2026

London, England, United Kingdom
Internship · Intern

Apply with RefersoAI Apply on careers page

Internship in Formal Methods group of OCaml Language team at Jane Street

Responsibilities

Collaborate with full-time employees on real-world projects
Develop and evaluate tools for formal methods
Participate in guest speakers and social events

Requirements

PhD
Postdoctoral
Master's

Skills

program verification programming language semantics property-based testing static analysis model checking OCaml OxCaml

See full job description

Senior Software Engineer – OCaml/C# – OTC Core

SimCorp · Posted Nov 6, 2026

Copenhagen, Capital Region, Denmark
Hybrid
Full-time · Senior

Apply with RefersoAI Apply on careers page

Senior engineer developing OCaml-based domain-specific language and C#/.NET framework for OTC core product.

Responsibilities

Implement financial contract models in OCaml-based DSL
Evolve the OCaml-based language and C#/.NET framework
Use AI-assisted development tools to improve code and tests
Collaborate with product management and engineers
Build automated tests and conduct code reviews

Requirements

Bachelor's degree or equivalent practical experience
Nice to have: Haskell
Nice to have: Scala
Nice to have: F#
Nice to have: other functional languages

Skills

OCaml C#/.NET functional programming domain-specific languages Web APIs financial software Claude GitHub Copilot

internally developed cloud agent

Benefits

Global hybrid work policy
Pension and health benefits
Bonus

See full job description