About Guillaume
English
Native or bilingual
French
Native or bilingual
Experience
- Formal LandCTOTECHNovember 2021 - Today (4 years and 7 months)Paris, FranceDevelopment of security solutions for critical software, applied to the fields of cryptocurrency or embedded software.
- Nomadic LabsDeveloper / researcherTECHAugust 2019 - September 2021 (2 years and 2 months)Paris, FranceDevelopment of security solutions for the Tezos cryptocurrency, to secure both network nodes and smart contracts. Formal verification of the functional language OCaml in Coq. Compiler development.
- OuiCar SASFull-stack React / Node.js DeveloperTRANSPORTATIONNovember 2015 - April 2019 (3 years and 5 months)Paris, FranceI worked within the OuiCar start-up to develop the platform. I was in charge of developing features such as the search page, editing a car, managing calendars.I also worked on the technical redesign of the platform in GraphQL.
Recommendations
Be the first to recommend Guillaume
Help this freelancer shine by sharing your experience working together.
These freelancer profiles also match your criteria
Agatha Frydrych
Backend Java Software Engineer
4.7
(3)
2
Baptiste Duhen
Fullstack developer
4.6
(4)
5
Amed Hamou
Senior Lead Developer
4
(2)
7
Audrey Champion
Web developer
4.3
(3)
4
Education
- ThesisUniversité Paris 72018Thèse d'informatique sur la vérification formelle de programmes fonctionnels en Coq.