Overview
Research engineer designing and implementing an expressive macro system for the Rocq proof assistant. Using OCaml, Racket, Scheme, functional programming, and language design to extend Rocq's syntactic extensibility with shrubbery notation.
Key Information
- Seniority Level
- Mid-level+
- Locations
-
🇫🇷
Nantes, France
- Remote Friendly
- No
- Languages
- OCamlRacketScheme