Menu
Déposer un DCETarifsTarifsTarifs
  • Rappels par e-mailavant chaque visite, le dernier jour des questions et la date limite
  • Recherche automatiquechaque matin, les nouveaux avis de votre métier et de votre région
  • Votre tableau de bordvos avis suivis et leurs échéances, au même endroit
  • Analyse de DCEle dossier de consultation lu et résumé pour vous

Entreprise

ANZENLANG

● ActiveProgrammation, conseil et autres activités inf…L'Houmeau (17)SARLnon employeur ou non publiéCréée en 2024SIREN 927 454 249

Solidité de l’entreprise

Sirene, INPI, BODACC, marchés publics
  • Ancienneté2 ans
  • Salariésnon employeuse
  • Comptesaucun compte public
  • Procédure collectiveaucune publiée
  • Marchés publics1 gagné

Marchés publics

✓Répond aux marchés publics
1marché gagné depuis 2025
72 k€gagnés seule (1 marché)
1acheteur public

Marchés gagnés par année

Seule ou en groupement

Seule titulaire · 1En groupement avec d’autres entreprises · 0

Les autres entreprises retenues par ses acheteurs

marchés de ses métiers gagnés chez ses acheteurs depuis nov. 2023

Ses 1 marché

Tout voir en tableau · Excel
  1. juin 2025Institut Superieur de l'Aéronautique et de l'Espace (Isae) · Prestations de développements informatiques pour le compilateur Lustre…72 000 €face à 2 autres offres

Registre

INPI, Registre national des entreprises
Capital25 000 €
Clôture de l’exercice30 avril
Durée99 ans
N° TVAFR15927454249calculé depuis le SIREN
Objet social

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…

voir tout

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.

Comptes annuels

Aucun compte annuel.

Sa vie

Sirene, RNE, BODACC, marchés publics
  1. 8 avril 2024Création
  2. 2 juin 2025Premier marché public gagné

Dirigeants

2 dirigeants personnes physiques : non nommés sur ce site.

Écosystème

  • Acheteurs qui l’ont retenue

Adresses

1 adresse active : L'Houmeau (siège)

Détail des adresses
SIRETEnseigne ou nomAdresseAPEEffectifÉtat
92745424900016 siègeANZENLANG12 RUE DE MAILLEZAIS, 17137 L'HOUMEAU62.01Znon employeuseactif

Annonces légales (BODACC)

Aucune annonce publiée au BODACC.

22appels d’offres
ouverts

Ouverts maintenant pour ANZENLANG

Services informatiques · Haute-Garonne (31)

Recevoir les 22 et les nouveaux chaque matinGratuit · 30 secondes · entreprise déjà remplie

Documents officiels

Informations issues des sources citées ; leur couverture peut être incomplète. Signaler une erreur sur cette page