TrustInSoft is an international software publisher, with offices in Paris and San Francisco. It provides an advanced static source code analyzer based on mathematical methods, to verify software. TrustInSoft operates on different markets, both in safety (Railway, Aeronautics, Energy, Auto, Space) and cybersecurity (Defense, Telecom, IoT, Medical). “Work hard, play hard” is not just a motto. It is one of TrustInSoft’s values.