TrustInSoft
Paris, France (UTC+1)
(4)
Paris, France (UTC+1)(4)
Overview
TrustInSoft provides 13+ years of specialized software verification from offices in Paris and San Francisco, offering formal verification, exhaustive static analysis, and Rust code analysis as core services delivered through a combined product and professional services model. The TrustInSoft Analyzer applies formal methods and abstract interpretation, augmented by AI-accelerated techniques and mathematical proofs, to find memory-safety issues, runtime errors and control-flow vulnerabilities in C/C++/Rust code with near-zero false positives. It supports aeronautics, automotive and industrial IoT clients seeking engineering-grade assurance and faster paths to safety certifications.
Quick Facts
- Year Founded
- 2013
- Company Size
- 51 - 200
- Avg. Hourly Rate
- $100/hr - $149/hr
- Min. Project Size
- $25,000
Specialties
- Formal Verification Software
- Static Code Analysis
- Software Safety Verification
- Secure Software Development
- C/C++ Code Verification
- Cybersecurity Assurance
- Critical Systems Validation
- Embedded Software Verification
- Compliance & Certification Support
- Software Reliability Testing
- Vulnerability Detection
- Automotive Software Safety
- Cyber Security
- Software Security
- Software Quality
- Code Quality
- Code Analysis
- Software Testing
- Formal Verification Software
- Static Code Analysis
- Software Safety Verification
- Secure Software Development
- C/C++ Code Verification
- Cybersecurity Assurance
- Critical Systems Validation
- Embedded Software Verification
- Compliance & Certification Support
- Software Reliability Testing
- Vulnerability Detection
- Automotive Software Safety
- Cyber Security
- Software Security
- Software Quality
- Code Quality
- Code Analysis
- Software Testing
Team Experience
- < 1 Year15%
- 1-2 Years31%
- 3-5 Years33%
- 6-10 Years15%
- 10+ Years6%
< 1 Year
15%
Median Employee Tenure:
2.9 years
Employee Growth in last 1 year:
8%
Offerings
Services
AI and Machine Learning
Cybersecurity
Software QA and Testing
Business Consulting
Software Product Development
Industries Served
Automotive
Business Consulting & Services
Engineering & Manufacturing
Government & Public Safety
Information Technology
Telecommunications
Expertise
Tech Stacks
C
C++
Python
Java
Rust
Tools
Docker
Git
Linux
Highlights
Notable Clients
Dassault Aviation
Easy Mile
IRSN
Mitsubishi
NIST
Location(s)
Primary Development Center & Headquarter
Other
Primary Development Center & Headquarter
Paris, France
20+ employees
Important Facts About France (PDC):
Literacy Rate- :
- 99%
English Proficiency- :
- Medium
GDP Per Capita- :
- $48,980
Income Category- :
- High
Other Locations
United States of America
1 Office
Manage how TrustInSoft appears to potential clients
Claim your company's profile to make sure prospective clients see accurate, up-to-date information about your business.
Update company details, team size, and hourly rates
Manage services and industries served
Update technologies, projects, and certifications
Control how your company is presented to potential clients
