About Guillaume
English
Native or bilingual
French
Native or bilingual
Experience
- Formal LandCTOTECHNovember 2021 - Today (4 years and 7 months)Paris, FranceDéveloppement de solutions de sécurité pour logiciel critique, appliqué aux domaines de la crypto-monnaie ou logiciels embarqués.
- Nomadic LabsDéveloppeur / chercheurTECHAugust 2019 - September 2021 (2 years and 2 months)Paris, FranceDéveloppement de solutions de sécurité pour la crypto-monnaie Tezos, pour sécurité à la fois les nœuds du réseau et les smart contracts. Vérification formelle du langage fonctionnel OCaml en Coq. Développement de compilateurs.
- OuiCar SASDéveloppeur full-stack React / Node.jsTRANSPORTATIONNovember 2015 - April 2019 (3 years and 5 months)Paris, FranceJ'ai travaillé au sein de la start-up OuiCar pour faire évoluer la plateforme. Je me suis occupé du développement de fonctionnalités telles que la page de recherche, l'édition d'une voiture, la gestion des calendriers.J'ai également travaillé sur la refonte technique de la plateforme en 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
- ThèseUniversité Paris 72018Thèse d'informatique sur la vérification formelle de programmes fonctionnels en Coq.