About Adrien
French
Native or bilingual
English
Fluent
Experience
- CLEARSYInternship then Permanent contract in Software Development / DevOpsFebruary 2023 - April 2025 (2 years and 2 months)Railway sector• Creation of a safety data generation tool that must comply with standards imposed by the railway domain. Implementation of the development environment, testing environment, and CI/CD pipelines.• Implementation of CI/CD pipelines for existing company projects.• Maintenance and integration of a formal data verification software.• Development of a data import function for various formats (Excel, XML, JSON, etc.) for a formal data verification software.• Technologies used: Docker, C++, C, Python, MongoDB
- IRIFResearch internship in formal verificationMay 2022 - August 2022 (3 months)• Intern at the Fundamental Computer Research Institute• Creation of a new Model Checking method for timed automata to verify "bounded response" properties based on the theoretical work of two researchers• Development of a Python tool using UPPAAL applying the new method• Technologies used: LATEX, UPPAAL, IMITATOR, SYMROB, Python
- LGCE SASFull Stack DeveloperMay 2020 - August 2021 (1 year and 3 months)• Internship then part-time permanent contract in full stack web development• Creation of an application for managing accounting and digitized documents for a company• Technologies used: Angular (Front), NestJS (Back), MySQL (Database), AWS S3 (Document Storage)
Recommendations
Be the first to recommend Adrien
Help this freelancer shine by sharing your experience working together.
These freelancer profiles also match your criteria
Agatha Frydrych
Backend Java Software Engineer
4.7
(3)
2
Baptiste Duhen
Fullstack developer
4.6
(4)
5
Amed Hamou
Senior Lead Developer
4
(2)
7
Audrey Champion
Web developer
4.3
(3)
4
Education
- Computer EngineeringINSA Lyon2023
- Academic ExchangeDublin City University School of Computing2021Échange Académique