Frederic Leroux
Ingénieur Études Et Développement at norsys
Sillans, Auvergne-Rhône-Alpes, France
Summary
👤
Senior🎓
Top SchoolFrederic Leroux is an adaptable Ingénieur Études et Développement with eight years of experience bridging scientific R&D and enterprise Java development. He brings strong analytical and synthetic thinking from a biotechnology research background into backend engineering, specializing in Java, Spring Boot, microservices and SQL while also comfortable with frontend stacks and CI/CD. Having transitioned from lab roles to consultancy and application development, he combines practical laboratory rigor with disciplined software practices and a talent for proposing pragmatic solutions. Based in Sillans, France, he is autonomous, enjoys tackling new challenges, and has augmented his skillset with Linux server fundamentals to support production environments.
8 years of coding experience
3 years of employment as a software developer
Baccalauréat sciences et techniques de laboratoire, Chimie, Baccalauréat sciences et techniques de laboratoire, Chimie at Lycée Raoul FollereauDeveloppeur d'application JAVA, Informatique, Developpeur d'application JAVA, Informatique at OpenClassroomsBrevet de technicien supérieur agricole (BTSA), Biotechnology, Brevet de technicien supérieur agricole (BTSA), Biotechnology at ENIL MamirolleCertificat, Ubuntu linux server basics, Certificat, Ubuntu linux server basics at Udemy
English, French
Github Skills (9)
theorem-proving6
mathematical6
formal-methods6
mathematics5
javascript4
math4
theorem2
python2
async1
Programming languages (2)
Github contributions (5)
dEAduction/dEAduction-lean
Jun 2020 - Feb 2024
Contributions:1 PR, 47 pushes in 3 years 7 months
dEAduction/dEAduction
Jun 2020 - Jan 2023
Contributions:1246 commits, 1044 pushes, 219 branches in 2 years 7 months
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.