SafeRiver Email Formats
Technology, Information and Internet • 
Paris, Île-de-France, France • 1-10 Employees
SafeRiver Email Formats
SafeRiver uses 1 email format. The most common is {first name}.{last name} (e.g., john.doe@safe-river.com), used 100% of the time.
| Format | Example | Percentage |
|---|---|---|
{first name}.{last name} | john.doe@safe-river.com | 100% |
Key Contact at SafeRiver
Christele Faure-Simeoni
Scientific Director
Company overview
| Headquarters | 23, Rue de Berri, Paris, Île-de-France 75008, FR |
| Phone number | +3305572608 |
| Websites | |
| SIC | 873 |
| Keywords | Cyber Security, Formal Methods, Safety Critical Embedded Systems, Development Of Verification Tools, Cyber Security Referentials: Cwe Capec |
| Founded | 2005 |
| Employees | 1-10 |
| Socials |
About SafeRiver
Safety and Cyber Security are key issues for Embedded Systems and Complex Systems in a large range of domains and markets : Railways and Avionics since systems are more and more complex and interconnected, Automotive, especially with the development of Autonomous Vehicles (ADAS), IoT and Smart Sensors Networks. SafeRiver addresses the development of critical systems by building-up meticulous and efficient process, thanks to its mastery of methodologies and technologies: - Formal languages (Mathematical formalization, Synchronous languages, Functional languages , B language) - Model Based Development Methods and Tools - Model checking and formal proof tools - Code generation - Code static analysis (syntactic, semantic, abstract interpretation) We also bring up all the documentation necessary to demonstrate that the safety constraints are achieved for our customers and help them in the production of evidence that must be delivered and submitted to certification bodies. Each employee is trained to IEC 61508, ISO 26262 and EN50128, ether for development activities or for validation and verification activities. Our Consultants and Engineers are all highly skilled in formal languages and they are involved both in the development and in the deployment of technologies. R&D is a key success factor and a key value for the company. Collaboration with Academics is important. Two PHD thesis are being developed in the company, with LABRI and UP-EC respectively. Our main customers : Ansaldo-STS, ANSSI, Autoliv, RATP, THALES.
Employees by Management Level
Total employees: 1-10
Seniority
Employees
Employees by Department
SafeRiver has 7 employees across 4 departments.
Departments
Number of employees
Switzerland
Kuwait
United States
United Kingdom
Frequently asked questions
4.8
40,000 users
