À propos de Guillaume
Développeur web spécialisé dans la réalisation et la conception d'applications web sous React.
J'ai travaillé 3 ans en tant que développeur front chez OuiCar et je me lance en freelance pour découvrir d'autres secteurs.
Anglais
Bilingue ou natif
Français
Bilingue ou natif
Accepte de travailler sur site
Paris 10e Arrondissement (jusqu’à 50 km), Paris (jusqu’à 10 km)
Expériences
- Formal LandCTOHIGH TECHnovembre 2021 - Aujourd'hui (4 ans et 7 mois)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 / chercheurHIGH TECHaoût 2019 - septembre 2021 (2 ans et 2 mois)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.jsTRANSPORTSnovembre 2015 - avril 2019 (3 ans et 5 mois)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.
Recommandations
Soyez le premier à recommander Guillaume
Contribuez à la réussite de ce freelance en partageant votre expérience de collaboration avec lui.
Ces profils de freelance correspondent également à vos critères
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
Formations
- ThèseUniversité Paris 72018Thèse d'informatique sur la vérification formelle de programmes fonctionnels en Coq.