TrustInSoft

TrustInSoft vereint heute ein internationales Team, das Kundinnen und Kunden auf der ganzen Welt betreut, denen Sicherheit besonders wichtig ist. Das Unternehmen wurde 2013 gegründet; seine Technologie entsteht durch ein erfahrenes Ingenieurteam, von dem viele Mitglieder promoviert sind. Wer zu TrustInSoft kommt, wird Teil einer lebendigen, neugierigen und kreativen Mannschaft, mitunter auch ein wenig nerdig und skurril –, die sich ganz dem Ziel verschrieben hat, Sicherheit für alle zugänglich zu machen. Unsere Mission Immer mehr Software prägt inzwischen unseren Alltag. TrustInSoft möchte dazu beitragen, dass alle von Software profitieren können, die so sicher und geschützt wie möglich ist; möglich wird das durch mathematische Verfahren, die als formale Methoden bekannt sind. Um das zu erreichen, stellt TrustInSoft, ein Softwarehersteller mit Sitz in Paris und San Francisco, Unternehmen ein Werkzeug zur Codeanalyse bereit, das mithilfe formaler Methoden die Sicherheit und Robustheit ihres Quellcodes absichert.