LeadIQ logo
Learn more at LeadIQ.com
Runtime Verification logo

Runtime Verification Employee Directory

Computer and Network SecurityUtah, United States11-50 Employees

Runtime Verification is a cybersecurity consulting firm focused on high-assurance protection for critical software systems. Rooted in formal methods, its team collaborates with developers to identify and mitigate risks in software where failure is not an option, offering services that emphasize rigorous verification to improve system reliability and security.

Based in Chicago, Illinois, the company operates within the computer and network security sector and serves organizations requiring strong assurance for complex software. Its recent activities include a partnership to integrate formal verification into a crypto-bug bounty platform, reflecting the firm’s involvement in security assurance for blockchain-related technologies and related ecosystems.

Find Runtime Verification employees' phone numbers or email addresses

Runtime Verification Global Highlights

Location
Employees

North America
19

Minus sign iconPlus sign icon
  • United States Of America
    17
  • Canada
    2

Europe
11

Minus sign iconPlus sign icon
  • Romania
    3
  • Portugal
    2
  • Hungary
    2
  • Germany
    2
  • Spain
    1
  • Poland
    1

Asia
6

Minus sign iconPlus sign icon
  • China
    2
  • Kazakhstan
    1
  • Singapore
    1
  • United Arab Emirates
    1
  • Turkey
    1

Oceania
1

Minus sign iconPlus sign icon
  • Australia
    1

South America
1

Minus sign iconPlus sign icon
  • Brazil
    1

Runtime Verification's Leadership

  • Technical Lead at Runtime Verification
    P. T.
    Technical Lead
    Mobile Phone
  • Research Engineer at Runtime Verification
    B. B. Y.
    Research Engineer
    Mobile Phone
  • Haskell Engineer at Runtime Verification
    J. B.
    Haskell Engineer
    Mobile Phone
  • Formal Verification Engineer at Runtime Verification
    L. S.
    Formal Verification Engineer
    Mobile Phone
  • Verification Engineer at Runtime Verification
    N. K.
    Verification Engineer
    Mobile Phone
  • Software Engineer at Runtime Verification
    G. R.
    Software Engineer
    Mobile Phone
  • Full Stack Engineer at Runtime Verification
    Y. W.
    Full Stack Engineer
    Mobile Phone

Runtime Verification Employee Metrics

100%
50%
0%
2026
2025
  • Engineering
  • Consultant
  • Business
  • Accounting
  • Administrative
  • Other
  • Business Development

Contact profiles from Runtime Verification

Name
Title
Contact
Location
Last Update
  • Technical Lead at Runtime Verification
    P. T.
    Technical Lead
    Mobile Phone
    United Arab Emirates
    Apr 17, 2026
  • Research Engineer at Runtime Verification
    B. B. Y.
    Research Engineer
    Mobile Phone
    Turkey
    Apr 13, 2026
  • Haskell Engineer at Runtime Verification
    J. B.
    Haskell Engineer
    Mobile Phone
    Australia, New South Wales
    Jun 06, 2026
  • Formal Verification Engineer at Runtime Verification
    L. S.
    Formal Verification Engineer
    Mobile Phone
    Portugal, Braga
    Jun 29, 2026
  • Verification Engineer at Runtime Verification
    N. K.
    Verification Engineer
    Mobile Phone
    Russia, Jaroslavl
    Jun 28, 2026
  • Software Engineer at Runtime Verification
    G. R.
    Software Engineer
    Mobile Phone
    Apr 13, 2026
  • Full Stack Engineer at Runtime Verification
    Y. W.
    Full Stack Engineer
    Mobile Phone
    China, Beijing
    Apr 13, 2026

Frequently Asked Questions

What is Runtime Verification known for?

Minus sign iconPlus sign iconRuntime Verification was founded in 2010 and operates in the Computer and Network Security industry. You can contact Runtime Verification's 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?

Minus sign iconPlus sign iconRuntime Verification employees' email format typically follows the pattern of First.Last@runtimeverification.com. 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?

Minus sign iconPlus sign iconRuntime Verification has approximately 32 employees as of July 2026. These team members are located across 5 continents, including North America, Europe and Asia.

Who are Runtime Verification's key employees and leadership?

Minus sign iconPlus sign icon

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

  • Technical Lead: P. T.
  • Research Engineer: B. B. Y.
  • Haskell Engineer: J. B.
  • Formal Verification Engineer: L. S.
  • Verification Engineer: N. K.

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.

© LeadIQ, Inc. All rights reserved.