À propos de Adrien
Français
Bilingue ou natif
Anglais
Capacité professionnelle complète
Expériences
- CLEARSYStage puis CDI en Développement logiciel / DevOpsfévrier 2023 - avril 2025 (2 ans et 2 mois)secteur ferroviaire• Création d'un outil de génération de données sécuritaires devant respecter les normes imposées par le domaine ferroviaire. Mise en place de l'environnement de développement, de l'environnement de tests et des pipelines CI/CD.• Mise en place de pipelines CI/CD pour des projets existant de l'entreprise.• Maintenance et intégration d'un logiciel de vérification formelle de données.• Développement d'une fonction d'import de données dans différents formats (excel, XML, json, etc.) pour un logiciel de vérification formelle de données.• Technologies utilisées: Docker, C++, C, Python, mongoDB
- IRIFStage de recherche en vérification formellemai 2022 - août 2022 (3 mois)• Stagiaire au sein de l'Institut de Recherche en Informatique Fondamentale• Création d'une nouvelle méthode de Model Checking sur les automates temporisés afin de vérifier des propriétés de "bouded response" sur la base de travaux théoriques de deux chercheurs• Développement d'un outil en Python utilisant l'outil UPPAAL appliquant la nouvelle méthode• Technologies utilisées: LATEX, UPPAAL, IMITATOR, SYMROB, Python
- LGCE SASFull Stack Développeurmai 2020 - août 2021 (1 an et 3 mois)• Stage puis CDI à temps partiel en développement web full stack• Création d'une application de gestion de la comptabilité et des documents numérisés d'une entreprise• Technologies utilisées: Angular (Front), NestJS (Back), MySQL (Base de donnée), aws s3 (Stockage de documents)
Recommandations
Soyez le premier à recommander Adrien
Contribuez à la réussite de ce freelance en partageant votre expérience de collaboration avec lui.
Ces profils de freelance correspondent également à vos critères
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
Formations
- Ingénieur InformatiqueINSA de Lyon2023
- Échange AcadémiqueSchool of computing Dublin City University2021Échange Académique