Mise à jour 06/12/2025
ANZENLANG
En activitéSARL · L'HOUMEAU (17137) · créée le 08/04/2024
Alerte e-mail à chaque changement.
- SIREN
- 927 454 249
- SIRET du siège
- 927 454 249 00016
- TVA intracommunautaire
- FR15927454249
- Forme juridique
- SARL
- Date de création
- 08/04/2024
- Effectif salarié
- Non employeuse
- Établissements
- 1 ouvert sur 1
- Catégorie
- Petite ou moyenne entreprise
- Activité (code NAF)
- 62.01ZProgrammation informatique
- Adresse du siège
- 12 RUE DE MAILLEZAIS, 17137 L'HOUMEAU
- Dirigeant
- Maud HAMONICGérant
- Domaine d’activité
- Programmation, conseil et autres activités informatiques
- Convention collective probable
- Bureaux d'études techniques SYNTECIDCC 1486
Activité
Toutes activités de recherches et développement en sûreté logicielle, théorie des langages de programmation, méthodes formelles et vérification statique; focalisation sur les langages de programmation "Lean 4" et "Rust", les systèmes embarqués critiques et ce particulièrement dans le contexte de partenariats avec des universitaires et des équipes de recherche et développement industrielles. Les activités incluent conseil et audit de base de code et de processus de développement logiciel, implémentation d'outils de vérification sur mesure, preuve formelles de programmes et de théorèmes, ainsi que formations aux langages "Lean 4" et "Rust" et aux méthodes formelles en général.
- Capital social
- 25 000 €
- Clôture de l’exercice
- 30 avril
- Durée de la société
- 99 ans
Dirigeants
2- Maud HAMONIC
Gérant
Établissements
1 ouvert sur 1Siège social
12 RUE DE MAILLEZAIS, 17137 L'HOUMEAU
créé le 08/04/2024 · Non employeuse
Services recommandés pour les sociétés
Annonces légales (BODACC)
2 annoncesModifications diverses28/04/2026
Modification survenue sur l'administration.
Greffe du Tribunal de Commerce de la Rochelle
Dépôts des comptes10/02/2026
Greffe du Tribunal de Commerce de la rochelle