Virgile Robles
Lead Engineer at Tarides
Bourg-la-Reine, Île-de-France, France
Summary
🤩
Rockstar🎓
Top SchoolVirgile Robles is a Lead Engineer with a decade of experience bridging formal methods, algorithmics, and production engineering across academia and industry. He completed a PhD-focused trajectory in software verification and has taught algorithmics, compilation, and software testing at several French institutions, bringing strong pedagogical clarity to complex technical problems. In industry he has progressed from functional engineering to senior and lead roles, currently shaping SpaceOS engineering at Parsimoni while contributing to OCaml projects like the Mina protocol where he improved heterogenous list implementations and tooling. His background combines rigorous formal-specification skills (Frama-C plugin work, doctoral research) with practical system-level contributions such as documentation, Docker toolchain fixes, and backend development. Comfortable in ML research contexts as well (research stint at Keio on music/image emotion classification), he blends theoretical depth with hands-on delivery and developer experience improvements. Based in Bourg-la-Reine, Île-de-France, Virgile is open to roles that leverage formal verification, algorithm design, or scalable backend engineering.
10 years of coding experience
1 year of employment as a software developer
Doctor of Philosophy - PhD Informatique, Doctor of Philosophy - PhD Informatique at CentraleSupélecMaster 2 (M2) Informatique fondamentale, Master 2 (M2) Informatique fondamentale at Université de BordeauxBaccalauréat Scientifique (S) option Informatique, Baccalauréat Scientifique (S) option Informatique at Lycée Ste Croix St EuverteDiplôme d'ingénieur Informatique, Diplôme d'ingénieur Informatique at ENSEIRB-MATMECAPrépa (CPGE) MP Mathématiques & Physique option Informatique, Prépa (CPGE) MP Mathématiques & Physique option Informatique at Lycée Pothier
English, Japanese, French
Github Skills (8)
blockchain10
ocaml10
zkp9
zk9
zksnark9
documentation8
docker6
dockers6
Programming languages (16)
Github contributions (5)
MinaProtocol/mina
Jan 2022 - Sep 2022
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:32 reviews, 251 commits, 64 PRs in 7 months
Contributions summary:Virgile's contributions focus on the OCaml-based implementation of the Mina blockchain project. They implemented and documented heterogeneous lists, including Hlist and its related modules. Furthermore, the user made updates and bug fixes in the codebase related to pickles, documentation, and Docker images for the toolchain. Their changes suggest a focus on code quality, documentation, and improving the build process.
minaethereumsecurityblockchainocaml
Firobe/advent_of_code
Dec 2021 - Dec 2022
Contributions:84 commits, 85 pushes, 1 branch in 1 year
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.