Julien Silva Lages

Professeur Particulier at Complétude (2025-12 – Present)

• Mathématiques niveau Collège/Lycée
• Physique-Chimie niveau Collège

Manutentionaire at DBV-Bordeaux Destockage (2025-12 – 2026-02)

• Port de charges lourdes (vaisselle)
• Mise en rayon
• Préparation de commandes

Stage vérification formelle at Serma Safety and Security (2025-04 – 2025-08)

Stage de Master portant sur les méthodes formelles et le Model Checking (Spin, Frama-C, Critères Communs)

Runner at Brasserie de la plage (2021 – 2023)

Extras pendant des jours de grandes affluences

Animateur at Club de la Plage (2021 – 2023)

Juillet 2021, Juillet 2022, Juillet 2023

• Création d'animations
• Surveillance baignade et jeux

Employé polyvalent at Club de la Plage (2019 – 2024)

• Aide à la construction et à la maintenance des infrastructures
• Entretien de piscines

Master in Informatique – Université de bordeaux (2023 – 2025)

Master 1 in Genie Logiciel – Université de bordeaux (2023 – 2024)

Master 2 in Verification Logicielle – Université de bordeaux (2024 – 2025)

Licence in Informatique – Université de bordeaux (2020 – 2023)

Baccalauréat Scientifique in Mathématiques – Lycée général - Saint-Genès La Salle (2020 – 2020)