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

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

DEENFRIT
Produit
  • Tarifs
  • Annuaire
  • Secteurs
Entreprise
  • À propos
  • Contact
  • Mentions juridiques
© 2026 cohaga AG · Tous droits réservés · Saint-Gall, Suisse · Mentions légales745'041 entreprises indexées · Dernière mise à jour : aujourd’hui
AnnuaireIT & CommunicationSécurité ITBoussensTypeScope Sàrl
TypeScope Sàrl Logo
Vérifié· 2 sources

TypeScope Sàrl

Résumé

À propos de l'entreprise

TypeScope Sàrl développe des agents IA sécurisés pour des processus sensibles et utilise un sandboxing au moment de la compilation avec des limites vérifiées par le type system. L’entreprise travaille aussi sur le langage Jo et propose des services associés de sécurité et de mise en œuvre.

Généré par IA
Offre

Produits et prestations

Secteur :Sécurité IT
✓ Proposé
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
3
Développement d’agents IA sécurisés
Agents IA sécurisés pour des flux de travail sensibles, avec contrôle d’accès défini, analyse des risques, implémentation, mise en production et support continu.
Sandboxing à la compilation
Sandboxing à la compilation pour le code généré par IA, avec limites de capacités typées, permissions vérifiables, isolation d’exécution et règles réseau dans une défense en profondeur.
Langage de programmation sécurisé Jo
Jo, un langage de programmation statiquement typé avec sandboxing à la compilation, des fonctionnalités multi-paradigmes et une compilation multi-backend vers Python et Ruby.
Comparaisons

TypeScope Sàrl en comparaison

Bientôt

Les comparaisons sectorielles arrivent bientôt

Nous préparons des comparaisons sectorielles qui classent TypeScope Sàrl selon les avis, l’expérience et les spécialisations.

Est-ce votre entreprise ?

Revendiquez le profil de TypeScope Sàrl 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

Grand'Rue 17 b
1034 Boussens

En un coup d’œil

Forme juridique
Société à responsabilité limitée
IDE
CHE-448.881.442
Fondée
2026 · 0 an
Dernière modification au RC
14 avril 2026
Effectif
1 à 10

Savoir

Aucun article pour l’instant

Dès que TypeScope Sàrl aura revendiqué ce profil, nous publierons ici ensemble des articles éditoriaux et des études de cas.

Commencer

Entreprises similaires

TC
The Commercial Break SA
Lausanne
SS
Soluss SA
Eysins
DD
DPC DATA PROTECTION COMPANY Sàrl
Gilly
AG
Abilene Group SA
Morges
DS
datalex sàrl
Vevey
TA
T&C Associates Sàrl
Lausanne
AS
Altipeak SA
Lausanne
PS
PRODAFT Sàrl
Yverdon-Les-Bains