Formal Methods Research and Development
Core
Research and development of formal methods tools for correctness reasoning and bug finding in OCaml programs, specifically to validate agent-generated code.
Role type
Research intern (PhD/Postdoc/Masters)
Builds
Formal verification tools, property-based testing support, refinement type systems
Domain
Programming languages, formal methods, software verification
Required skills
program verification, programming language semantics, property-based testing, static analysis, model checking
Preferred skills
OCaml, functional programming, agentic programming
Technologies
OCaml, OxCaml
Responsibilities
Collaborate with mentors on real-world projects, develop and evaluate tools on a production codebase, attend guest speakers and social events
Seniority
Intern, research-focused
