"runtime verification" Jobs

27 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, TypeScript. Every listing is re-checked daily and closed roles are removed.

Showing 7 of 27 results

Senior Forward Deployed Engineer - Okta for AI Agents Remote

Join Okta as a Senior Forward Deployed Engineer to secure AI agent identities for enterprise customers with hands-on coding and strategic engagement.

Okta Bellevue, Washington; Chicago, Illinois; San Francisco, California; Toronto, Ontario, Canada $200k–$275k/yr Published 3 months ago

ChatGPT EU AI Act Cedar ABAC Bedrock

Flexible on stack 70% coding

Apply →

Senior Software Engineer, Transport Hybrid

Join IonQ as a Senior Software Engineer to develop ion trap control software for advanced quantum systems in a hybrid work environment.

IonQ Oxford, England, United Kingdom Published 6 days ago

C++ Rust Python

Flexible on stack

Apply →

Senior Developer Advocate, AI

Join LaunchDarkly as a Senior Developer Advocate to engage with the Bay Area developer community and shape the AI era of software.

LaunchDarkly Oakland, California, United States $152k–$210k/yr Published 1 month ago

AI/ML software delivery platform

Apply →

Senior Software Engineer, Build Loop Remote

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

TypeScript AWS Pulumi Nest.js Node

Flexible on stack

Apply →

Senior AI Engineer 🇪🇺 Hybrid

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

AWS Agentic systems LLM Python Kubernetes

Flexible on stack

Apply →

Senior Agentic AI Engineer Remote

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

TypeScript Temporal AutoGen Go CrewAI

Flexible on stack 80% coding

Apply →

Senior Analytics Engineer

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

Snowflake Metaplane Airflow dbt SQL

Flexible on stack

Apply →