Maximilien Colange
Fractional CTO R&D
Salary / Daily rate
Aix-en-Provence, France
Freelance
Remote only
Skills
Languages
About me
Intro
J'aide vos équipes R&D à scaler, en automatisant les pipelines et en les formant sur les bonnes pratiques tech : - automatisation de pipelines (data, code, tests) - mise en oeuvre de processus reproductibles pour réduire les erreurs - former vos équipes pour les rendre autonomes après mon intervention Ma mission : permettre aux équipes R&D de se concentrer sur leur expertise, en les accompagnant sur les problématiques tech, et en parlant leur langage.
Work experience
Lead Research And Development Engineer
Epigene Labs
Aug 2022 - Present
4 years 3 months
69340 Francheville, France
Bridging the gap between biology, math and computer science. Powering data analysis for oncology research.
Engineer
Clearsy Railway
Aug 2018 - Aug 2022
4 years 1 month
Région de Aix-En-Provence, France
Development of critical systems for the railway industry: architecture and design, specification, implementation, safety analysis. Development of formal verification tools for correct-by-construction system designs.
Assistant Professor
École pour l'Informatique et les Techniques Avancées
Sep 2016 - Aug 2018
2 years
Paris, France
My research focuses on logic and finite automata theory applied to formal verification, as well as game theory applied to the synthesis of correct-by-construction programs.
Postdoctoral Researcher
LSV, ENS Cachan
Sep 2015 - Aug 2016
1 year
Game theory applied to the formal verification of timed systems.
Postdoctoral Fellow
Université de Genève
Nov 2013 - Aug 2015
1 year 10 months
Data structures for efficient verification of critical cyber-physical systems.
PhD Student
Universty P.Curie UPMC-Paris6
Sep 2010 - Dec 2013
3 years 4 months
Symmetry-based reductions and symbolic data structures for distributed systems model checking
Education
Pierre and Marie Curie University
Doctor of Philosophy (Ph.D.)
2010 - 2013
3 years 1 month
École Normale Supérieure Paris-Saclay
M.Sc.
2007 - 2010
3 years 1 month
Licenses & certifications
Change Management Certification
Issued: Nov 2024
Portfolio
