Nicolas Osborne
Senior Software Engineer at Tarides
Lille, Hauts-de-France
Summary
👤
Senior🎓
Top SchoolNicolas Osborne is a Senior Software Engineer based in Lille with eight years of experience transitioning from a PhD-level background in philosophy to production software development. After contributing formal proofs for kernel syscalls in Coq during an internship at CRIStAL, he joined Tarides where he progressed from Software Engineer to Senior Software Engineer, working on systems-level and backend projects. His academic rigor and teaching experience inform a methodical, specification-driven approach to engineering and code correctness. Trilingual French-based perspective and a formal-methods background give him unusual depth for debugging complex distributed or low-level problems. He combines research-grade attention to detail with practical delivery in an engineering team at a company known for OCaml and systems tooling.
8 years of coding experience
2 years of employment as a software developer
Bachelor's degree, Informatics, Bachelor's degree, Informatics at University of Lille 1 Sciences and TechnologyDoctor of Philosophy - PhD, Philosophy, Doctor of Philosophy - PhD, Philosophy at Charles de Gaulle University – Lille III
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (52)
property-based-testing10
assertion10
ounit10
opam10
quickcheck10
testing10
package-repository10
ocaml10
specification10
property-testing10
linux9
fullstack-development9
multicore9
integer9
int329
Programming languages (6)
Github contributions (5)
n-osborne/AgdaDataStructures
Jul 2019 - Dec 2020
Contributions:31 commits, 22 pushes, 1 branch in 1 year 5 months
n-osborne/ortac
Mar 2021 - Mar 2025
Runtime assertion checking based on Gospel specifications
Contributions:9 reviews, 30 PRs, 700 pushes in 4 years 1 month
runtimetlacheckingassertionspecifications
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.