Overview
Research and Development Engineer in formal methods for cryptographic implementations. Rust and OCaml with proof assistants (EasyCrypt, Coq), focusing on formal verification, language extensions, and transpilation for side-channel resistance.
Key Information
- Locations
-
🇫🇷
Biot, France
- Remote Friendly
- No
- Languages
- OCamlRust