"runtime verification" Jobs

77 open tech roles matching “runtime verification”, taken straight from company career pages — not reposted from other job boards. Most in demand right now: Python, Kubernetes, Rust. Every listing is re-checked daily and closed roles are removed.

Showing 17 of 77 results

Horizon3.ai

Lead the platform product strategy for NodeZero, ensuring scalability and reliability in a fast-paced cybersecurity environment.

Horizon3.ai San Francisco, California $194k–$265k/yr Published 2 months ago
Webflow

Join Webflow as a Senior Software Engineer to build next-gen backend services in a remote-first environment.

Webflow Argentina Remote Published 1 week ago
Flexible on stack
LaunchDarkly

Join LaunchDarkly as a Staff Enterprise Developer Advocate to educate engineers in enterprise accounts and build internal champions.

LaunchDarkly Remote - US $145.5k–$235.4k/yr Published 3 weeks ago
Pennylane

Join Pennylane as a Senior AI Engineer to shape the future of financial OS for SMEs in Europe.

Pennylane All France (remote) Published 1 month ago
Flexible on stack
EigenLayer

Join EigenLayer as a Senior Agentic AI Engineer to build core systems for AI agents in a remote-friendly environment.

EigenLayer Remote $187k–$253k/yr Published 5 months ago
Flexible on stack 80% coding
Brigit

Join Brigit as a Senior Analytics Engineer to own the analytics layer and drive data quality in a high-growth financial health company.

Brigit New York City (Hybrid) $170k–$190k/yr Published 4 months ago
Flexible on stack
LaunchDarkly

Lead and scale partnerships as a growth engine at LaunchDarkly, focusing on strategic alliances and revenue acceleration.

LaunchDarkly Remote - US $321k–$520k/yr Published 3 weeks ago
AI-first team
LaunchDarkly

Lead and scale the EMEA sales organization at LaunchDarkly during a period of high growth and product expansion.

LaunchDarkly London, England, United Kingdom Published 4 weeks ago
Grafana Labs

Lead the OpenTelemetry experience at Grafana Labs, ensuring seamless telemetry integration for users in a fully remote environment.

Grafana Labs Republic of Ireland (Remote) €133.6k–€160.3k/yr Published 2 weeks ago
Flexible on stack
Grafana Labs

Lead the OpenTelemetry experience at Grafana Labs, ensuring seamless telemetry integration for users in a fully remote environment.

Grafana Labs Germany (Remote) €124.6k–€149.5k/yr Published 2 weeks ago
Flexible on stack
IonQ

Join IonQ as a Director of Product Management to lead the development of quantum cloud solutions and drive innovation in the quantum computing industry.

IonQ Bothell, Washington, United States $200.7k–$262.8k/yr Published 2 months ago
Grafana Labs

Lead the OpenTelemetry experience at Grafana Labs, ensuring seamless telemetry integration for users in a fully remote environment.

Grafana Labs Sweden (Remote) SEK 996.8k–SEK 1196.2k/yr Published 2 weeks ago
Flexible on stack
Pinterest

Lead the Web Product Enablement team at Pinterest to empower web developers in creating high-quality web experiences.

Pinterest Toronto, ON, Canada Published 2 months ago
Flexible on stack Heavy meetings
Grafana Labs

Own the OpenTelemetry experience at Grafana Labs, ensuring seamless telemetry integration for users in a fully remote environment.

Grafana Labs United Kingdom (Remote) £117.9k–£141.5k/yr Published 2 weeks ago
Flexible on stack
Grafana Labs

Lead the OpenTelemetry experience at Grafana Labs, ensuring seamless telemetry integration for users in a fully remote environment.

Grafana Labs Spain (Remote) €106.7k–€128.0k/yr Published 2 weeks ago
Flexible on stack
Grafana Labs

Lead the OpenTelemetry experience at Grafana Labs, ensuring seamless telemetry integration for users in a fully remote environment.

Grafana Labs Canada (Remote) CA$211.4k–CA$253.7k/yr Published 2 weeks ago
Flexible on stack
Grafana Labs

Lead the OpenTelemetry experience at Grafana Labs, ensuring seamless telemetry integration for users in a fully remote environment.

Grafana Labs United States (Remote) $208.6k–$250.3k/yr Published 2 weeks ago
Flexible on stack