Runtime Verification Inc
Software Development
Chicago, Illinois, United States
33 employees
- Employees
- 33
- Contacts
- 1
- Emails
- 1
- Phones
- 1
Runtime Verification Inc Overview
- Headquarters
- Chicago, Illinois, United States
- Phone Number
- Available in AeroLeads
- Website
- runtimeverification.com
- Industry
- Software Development
- Employees
- 33
- Founded
- 2010
- Funding
- 5.3M
- Company Email
- Available in AeroLeads
- NAICS
-
Software Publishers
About Runtime Verification Inc
Runtime Verification, Inc., (RV) applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Runtime Verification Inc Contact Details
- People in AeroLeads
- 4
- With contact data
- 1
- Email contacts
- 1
- 25.0% coverage
- Phone contacts
- 1
- 25.0% coverage
Runtime Verification Inc Org Chart
Sample employees and titles| Name | Title | Location | Contact |
|---|---|---|---|
| Bogdan S. | Product and Design for Startups |
View
|
|
| Grigore Rosu | Educator. Entrepreneur. |
View
|
|
| Jed Taylor | Assistant Dean, Innovation | Champaign, Illinois, United States |
Email
Phone
|
| Rikard Hjort | Shadowy Super Coder at Decidable |
View
|
Employees by Management Level
Individual contributor
14 profiles
Executive
1 profile
Director
1 profile
Manager
1 profile
Associate / junior
1 profile
Department Contact Coverage
| Department | Contacts | Phone | |
|---|---|---|---|
| IT | 4 | 4 | 0 |
| General | 3 | 3 | 0 |
| Operations | 1 | 1 | 0 |
Runtime Verification Inc Tech Stack
Engineering
5 profiles
Data / AI
1 profile
Product / design
1 profile
Compare Similar Companies to Runtime Verification Inc
Consensys
Software Development
Nethermind
It Services And It Consulting
CertiK
Computer And Network Security
Certora
Software Development
Quantstamp, Inc.
Computer And Network Security
Category Labs
Software Development
Pi Squared
Software Development
Soken
It Services And It Consulting
Rektoff
Computer And Network Security
Atlas Computing
Software Development