À propos de Pierre
Programmeur OCaml (en train d'adopter Rust aussi), docteur en informatique théorique en preuve de programme, j'ai acquis une bonne maîtrise de la coordination d'équipes et d'écosystèmes en développant des outils pour appliquer les méthodes formelles à la biologie des systèmes et à la blockchain. Donnez moi mon prochain domaine d'application !
Français
Bilingue ou natif
Anglais
Bilingue ou natif
Accepte de travailler sur site
Paris (jusqu’à 50 km)
Expériences
- fondation ocamlDéveloppeurEDITION DE LOGICIELSavril 2025 - Aujourd'hui (1 an et 2 mois)Paris, FranceMaintenance du débugueur bytecode Ocaml avec l'objectif de réduire le niveau de pré-requis pour l'utiliser dans un projet.
- TaridesConsultantEDITION DE LOGICIELSjuillet 2024 - septembre 2024 (2 mois)Paris, FranceRéalisation d'une mission de synthèse de l'état d'utilisabilité du langage OCaml sous Windows et proposition d'une feuille de route.
- Nomadic LabsCo directeur technique puis responsable de la reponse aux incidentsEDITION DE LOGICIELSmai 2018 - décembre 2023 (5 ans et 7 mois)Paris, FranceJ'ai coordonné le développement d'Octez, le noeud de la blockchain Tezo, son intégration continue, sa distribution aux utilisateur et assurer le dernier niveau de support.
Recommandations
Soyez le premier à recommander Pierre
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
- Doctorat en informatique théoriqueINRIA / Université Paris Diderot2014Doctorat en informatique théorique