After a PhD in computer science and few years of R&D, I switched to web development which I've been doing for 5 years. I offer my help, expertise and problem solving skills to technical web projects.

Sylvain Dailler

After a PhD in computer science and few years of R&D, I switched to web development which I've been doing for 5 years. I offer my help, expertise and problem solving skills to technical web projects.

Available to hire

After a PhD in computer science and few years of R&D, I switched to web development which I’ve been doing for 5 years. I offer my help, expertise and problem solving skills to technical web projects.

Experience Level

Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Intermediate
Intermediate
Intermediate
Intermediate
Intermediate
Beginner
Beginner
Beginner
See more

Language

French
Fluent
English
Fluent
Japanese
Beginner
German
Beginner

Work Experience

Freelance Frontend Developer at Forvis Mazars
August 1, 2024 - Present
Frontend development for an internal audit tool; bug resolution; responsibilities include implementing UI features, fixing issues, and collaborating with the Eneance contract team.
Freelance Frontend Developer at Eneance
August 31, 2024 - September 11, 2025
Backoffice development for Dior tools (Uniform app) and other clients; frontend development, bug resolution, and UI improvements.
Freelance Web Developer
June 30, 2024 - September 11, 2025
Internal products; project summary mentions misunderstandings and a PO role; no actual code produced.
Frontend Developer at Publicis Sapient
February 29, 2024 - September 11, 2025
Participation in the e-commerce site for Sonepar (Sonepar.fr). Technologies: TypeScript, React, Next.js, nrwl/nx, GraphQL, Jest, CSS. Azure environment; SAFe (Scrum@scale).
Fullstack Developer at Polyconseil
November 30, 2022 - September 11, 2025
Fullstack development using TypeScript, TypeORM, PostgreSQL, React, GraphQL, Jest, Jenkins, CSS, Material-UI.
Engineer Research and Development at INRIA-Saclay / Adacore (ProofInUse)
December 31, 2019 - September 11, 2025
Work on tools for Why3 and SPARK2014; adding counterexamples; lightweight interactive theorem proving; improvement of user interface including tasks printing and argument parsing.
Freelance frontend developer at Forvis Mazars
August 1, 2024 - Present
Frontend development for an internal audit tool; bug resolution and collaboration with Eneance. Technologies include TypeScript, ReactJS, react-query, NextJS, Formik, HTML, CSS.
Freelance frontend developer at Eneance
August 1, 2024 - September 19, 2025
Backoffice development for Dior tools (Dior, uniformapp) and other clients like BenRecyclage. Frontend development, bug resolution. Technologies: TypeScript, ReactJS, react-query, NextJS, HTML, CSS.
Freelance web developer
June 1, 2024 - September 19, 2025
Internal products; Working as PO with a misunderstanding of the project; no actual code delivery requested.
Frontend developer at Publicis Sapient
February 1, 2024 - September 19, 2025
Participation in the e-commerce site for Sonepar. Technologies include TypeScript, React, Next.js, nrwl/nx, GraphQL, Jest, CSS, Azure environment, Safe (scrum @ scale).
Fullstack developer at Polyconseil
November 1, 2022 - September 19, 2025
Full-stack development using TypeScript, TypeORM, PostgreSQL, React, GraphQL, Jest, Jenkins, CSS, Material-UI.
Engineer Research and Development at Proofinuse (INRIA-Saclay) and Adacore joint laboratory
December 1, 2019 - September 19, 2025
Topic: On tools Why3 and SPARK2014, adding counterexamples, lightweight interactive theorem proving, and improvements to the user interface (printing tasks and argument parsing depending on the program language). Languages and technologies: OCaml, Ada, Why3, Python, Coq, SMT2, CVC4, Z3, Isabelle.
Freelance Frontend Developer at Forvis Mazars (on contract with Eneance)
August 1, 2024 - Present
Frontend development, bug resolution, and related tasks for an internal audit-handling tool.
Freelance Frontend Developer at Eneance
August 1, 2024 - October 7, 2025
Backoffice development for Dior tools (Dior, Uniform app) and other clients (e.g., BenRecyclage).
Freelance Web Developer
June 1, 2024 - October 7, 2025
Internal products; project misunderstood; no actual code produced (PO work).
Frontend Developer at Publicis Sapient
February 29, 2024 - October 7, 2025
Participation in the Sonepar e-commerce site; frontend contributions using TS/React/Next.js and related tech.
Fullstack Developer at Polyconseil
November 30, 2022 - October 7, 2025
Fullstack development using Typescript, TypeORM, PostgreSQL, React, GraphQL, Jest, Jenkins, CSS, Material-UI.
Engineer R&D at ProofInUse (INRIA-Saclay) / AdaCore
December 31, 2019 - October 7, 2025
Research and development on Why3 and SPARK2014; adding counterexamples; lightweight interactive theorem proving; improvement of the user interface.

Education

Ph.D in Computer Science at University of Orleans
January 11, 2030 - December 1, 2015
Master in Computer Science (M2) at MPRI (Parisian Master for Research in Computer Science), Paris 7
January 1, 2010 - December 31, 2011
Auditeur at ENS de Lyon (L3 and M1 in Fundamental Computer Science)
January 1, 2008 - December 31, 2010
Classe Préparatoire aux Grandes Ecoles (MPSI, MP*) at Lycée du Parc, Lyon
January 1, 2006 - December 31, 2008
Ph.D in Computer Science at Université d'Orléans
December 1, 2012 - December 1, 2015
Master in Computer Science (M2) at MPRI, Paris 7
January 1, 2010 - January 1, 2011
Auditeur at ENS de Lyon
January 1, 2008 - January 1, 2010
Classe Préparatoire aux Grandes Ecoles at Lycée du Parc, Lyon
January 1, 2006 - January 1, 2008
Ph.D in Computer Science at University of Orléans
January 11, 2030 - December 1, 2015
Master in Computer Science (M2) at Paris 7 (MPRI)
January 1, 2010 - December 31, 2011
Auditeur at ENS de Lyon (L3 and M1 in Fundamental Computer Science)
January 1, 2008 - December 31, 2010
Classe Préparatoire aux Grandes Ecoles at Lycée du Parc, Lyon
January 1, 2006 - December 31, 2008

Qualifications

Bachelor in Computer Science with honor
January 1, 2006 - January 1, 2008
Bachelor in Computer Science with honor
January 1, 2006 - December 31, 2008

Industry Experience

Software & Internet, Professional Services, Education, Media & Entertainment, Retail

Experience Level

Expert
Expert
Expert
Expert
Expert
Expert
Expert
Expert
Intermediate
Intermediate
Intermediate
Intermediate
Intermediate
Beginner
Beginner
Beginner
See more