ranQ
ranQ
ranQ
AnnuaireSecteursSavoirComparaisonsBientôt
Se connecterVérifier la visibilité
ranQHSG Startup LabelReconnu par le
HSG Startup Label

Le premier annuaire d’entreprises suisses, conçu pour renforcer la visibilité dans l’IA.

Produit
  • Tarifs
  • Annuaire
  • Secteurs
Entreprise
  • À propos
  • Contact
  • Mentions juridiques
© 2026 cohaga AG · Tous droits réservés · Saint-Gall, Suisse · Mentions légales742'806 entreprises indexées · Dernière mise à jour : aujourd’hui
AnnuaireIT & CommunicationDéveloppement de LogicielsSaint-Gallcodelabs GmbH
codelabs GmbH Logo
Vérifié· 2 sources

codelabs GmbH

Résumé

À propos de l'entreprise

L'activité principale de l'entreprise codelabs GmbH consiste en le développement et la mise à disposition de systèmes informatiques haute sécurité, en particulier dans le domaine du noyau de sécurité open source Muen Separation Kernel. Les activités comprennent : * Développement de logiciels pour des applications haute sécurité * Conseil et gestion de projets pour des projets de sécurité informatique * Développement et mise à disposition de systèmes informatiques haute sécurité basés sur le noyau de séparation Muen L'activité principale peut être résumée comme « Développement et mise à disposition de systèmes informatiques haute sécurité ».

Généré par IA
Offre

Produits et prestations

Secteur :Développement de Logiciels
LeadhubOutbound Leads by COHAGA

Vous cherchez des adresses e-mail et des numéros de téléphone directs ?

Leadhub fournit des coordonnées vérifiées et des interlocuteurs de plus de 750 000 entreprises suisses — direction, achats, marketing, RH.

Découvrir Leadhub
✓ Proposé5
Développement logiciel
Développement logiciel pour des exigences élevées en matière de sécurité et de disponibilité, notamment en Ada, pour des systèmes robustes, des micro-noyaux et des systèmes à base de composants.
Conseil
Conseil et gestion de projet pour des projets de sécurité informatique, y compris l’accompagnement pour la mise en œuvre de systèmes à haute assurance et à haute sécurité.
Trusted Key Manager (TKM)
Trusted Key Manager pour la gestion des clés IKEv2 et pour IPsec, avec PKCS#1/RSA, traitement des certificats X.509, Diffie-Hellman, AES-CBC-256 et HMAC-SHA512.
ADHCP
Implémentation DHCP en Ada avec des services clients pour DHCPv4 et DHCPv6, ainsi que des services de relais pour DHCPv4.
ADNS
Stub resolver pour le protocole DNS en Ada, avec un service D-Bus et un outil en ligne de commande simple pour la résolution des noms d’hôte.

Savoir

Aucun article pour l’instant

Dès que codelabs GmbH aura revendiqué ce profil, nous publierons ici ensemble des articles éditoriaux et des études de cas.

Commencer
Comparaisons

codelabs GmbH en comparaison

Bientôt

Les comparaisons sectorielles arrivent bientôt

Nous préparons des comparaisons sectorielles qui classent codelabs GmbH selon les avis, l’expérience et les spécialisations.

Est-ce votre entreprise ?

Revendiquez le profil de codelabs GmbH pour rendre ses coordonnées visibles. Avec un abonnement, nous créons et publions en plus des comparatifs sectoriels, des articles et bien plus encore.

Sécuriser le profil

Emplacement

Vadianstrasse 41
9000 Saint-Gall

En un coup d’œil

Forme juridique
Société à responsabilité limitée
IDE
CHE-333.416.159
Fondée
2018 · 8 ans
Dernière modification au RC
15 octobre 2018
Effectif
1 à 10

Entreprises similaires

CA
CAOS AG
Saint-Gall
AS
ACS Solution AG
Uzwil
AG
AK-SOFT GmbH
Gossau Sg
EI
EGELI Informatik AG
Saint-Gall