What departments does Runtime Verification have?

Runtime Verification has employees across 5 departments including Arts & Design, Information Technology, Research, Engineering, Consultant.

What is the largest department at Runtime Verification?

The largest department at Runtime Verification is Engineering with 5 employees.

Where are Runtime Verification employees located globally?

Runtime Verification has employees across 6 continents and 17 countries including Singapore, United Arab Emirates, China, Russian Federation, Turkey.

How has Runtime Verification's team size changed over time?

Runtime Verification's team has decreased from approximately 32 to 31 employees based on available data.

Learn more at LeadIQ.com

Runtime Verification Employee Directory

Computer and Network SecurityIllinois, United States11-50 Employees

High-assurance cybersecurity consulting for critical systems. Rooted in formal methods, our engineers work closely with teams developing software that cannot fail.

Runtime Verification Global Highlights

North America
18

United States Of America
16
Canada
2

Europe
13

Romania
3
Hungary
2
Spain
2
Germany
2
Portugal
2
Poland
1
France
1

Asia
6

China
2
Singapore
1
United Arab Emirates
1
Russian Federation
1
Turkey
1

Oceania
1

Australia
1

South America
1

Brazil
1

Runtime Verification's Leadership

B. S.
Design Director
Mobile Phone
Email
P. T.
Technical Lead
Mobile Phone
Email
Y. F.
Sr. Tech Lead - Ercx Team Lead
Mobile Phone
Email
B. B. Y.
Research Engineer
Mobile Phone
Email
J. B.
Haskell Engineer
Mobile Phone
Email
L. S.
Formal Verification Engineer
Mobile Phone
Email
J. W.
Consultant
Mobile Phone
Email
N. K.
Verification Engineer
Mobile Phone
Email

Runtime Verification Employee Metrics

100%

50%

2026

2025

Engineering
Consultant
Business
Accounting
Administrative
Other
Business Development

Contact profiles from Runtime Verification

Name

Title

Contact Info

Location

Last Update

B. S.
Design Director
Mobile Phone
Email
UNITED STATES
Nov 10, 2025
P. T.
Technical Lead
Mobile Phone
Email
United Arab Emirates
Apr 17, 2026
Y. F.
Sr. Tech Lead - Ercx Team Lead
Mobile Phone
Email
FranceAuvergne-Rhône-Alpes
Jan 05, 2025
B. B. Y.
Research Engineer
Mobile Phone
Email
Turkey
Apr 13, 2026
J. B.
Haskell Engineer
Mobile Phone
Email
AustraliaNew South Wales
Jun 06, 2026
L. S.
Formal Verification Engineer
Mobile Phone
Email
PortugalBraga
Apr 13, 2026
J. W.
Consultant
Mobile Phone
Email
United StatesNew York
Apr 13, 2026
N. K.
Verification Engineer
Mobile Phone
Email
RussiaJaroslavl
Apr 13, 2026
G. R.
Software Engineer
Mobile Phone
Email
Apr 13, 2026
Y. W.
Full Stack Engineer
Mobile Phone
Email
ChinaBeijing
Apr 13, 2026

Frequently Asked Questions

What is Runtime Verification known for?

Runtime Verification was founded in 2010 operates in the Computer and Network Security industry. The company's main headquarters is located in 333 North Green Street Chicago, Illinois 60607 United States; you can contact the main corporate office by phone at

+1-217-649-****

. Explore Runtime Verification's company overview page for more information.

What is Runtime Verification's most common email format?

Runtime Verification employees' email format typically follows the pattern of . Trying to find reliable and up-to-date employee contact data? Find more Runtime Verification email formats with LeadIQ.

How many employees does Runtime Verification have currently?

Runtime Verification has approximately 33 employees as of June 2026. These team members are located across 5 continents, including North AmericaEuropeAsia.

Who are Runtime Verification's key employees and leadership?

As of June 2026, Runtime Verification's key employees include:

Design Director: B. S.
Technical Lead: P. T.
Sr. Tech Lead - Ercx Team Lead: Y. F.
Research Engineer: B. B. Y.
Haskell Engineer: J. B.

Looking for contact data? Unlock accurate emails and phone numbers for your ideal prospects with LeadIQ.

Everything for prospecting,
in one platform.

What you can expect from LeadIQ:

B2B data verified in real-time
Sync data to your CRM, & add it to an outreach sequence in one click
Integrations with your tech stack for optimal efficiency
A patented AI cold email generator
Account & contact-level job change tracking

Ready to create more pipeline?

Get a demo and discover why thousands of SDR and Sales teams trust
LeadIQ to help them build pipeline confidently.

Runtime Verification Employee Directory

Find Runtime Verification employees' phone numbers or email addresses

Name search is limited — try advanced search instead