"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 20 of 27 results

Vanta

Drive complex projects on Vanta's Test Core team, enhancing the reliability and performance of security monitoring systems.

Vanta Remote U.S. Published 3 weeks ago
Flexible on stack
Anthropic

Join Anthropic as a Platform Security Engineer to audit and enhance security features across critical systems.

Anthropic San Francisco, CA | New York City, NY | Seattle, WA $320k–$405k/yr Published 2 months ago
Flexible on stack
Anthropic

Design and implement security architectures for bare-metal infrastructure in a collaborative AI-focused environment.

Anthropic San Francisco, CA | New York City, NY | Seattle, WA $405k–$405k/yr Published 2 months ago
Flexible on stack
Phantom

Join Phantom as a Senior Software Engineer to enhance the Identity Platform, focusing on security and user experience in crypto finance.

Phantom Remote Published 1 year ago
Flexible on stack
Wiz

Join Wiz as a Compliance Engineer to lead FedRAMP initiatives and architect compliance solutions in a fast-growing security startup.

Wiz Remote - USA $174k–$238k/yr Published 2 weeks ago
Flexible on stack
Varda Space
Varda Space El Segundo, California, United States $153k–$185k/yr Published 4 months ago
Coreweave

Lead complex cross-functional programs in performance and benchmarking for CoreWeave's AI/ML Platform Services.

Coreweave Livingston, NJ / New York, NY / Sunnyvale, CA / San Francisco, CA / Bellevue, WA $177k–$237k/yr Published 2 months ago
Skydio

Join Skydio as a Senior Autonomy Engineer to enhance deep learning infrastructure for autonomous drones.

Skydio San Mateo, California, United States $170k–$277.5k/yr Published 9 months ago
Flexible on stack
NODA AI

Join NODA AI as a Senior Systems Software Engineer to debug and resolve cross-system issues in unmanned systems technology.

NODA AI Austin Published 1 month ago
Flexible on stack
Anthropic

Join Anthropic as an Operating Systems Security Engineer to enhance OS security for AI workloads in a collaborative environment.

Anthropic San Francisco, CA | New York City, NY | Seattle, WA $320k–$405k/yr Published 2 months ago
Flexible on stack
Apollo

Join Apollo as a Senior Application Security Engineer to enhance secure software development and reduce application risk across various features.

Apollo Remote, Canada; Remote, United States $190k–$273k/yr Published 3 months ago
Flexible on stack
Okta

Drive the execution and strategy for Okta's Zero Trust Authentication products in a high-impact role.

Okta Toronto, Ontario, Canada $124k–$171k/yr Published 1 month ago
Blockchain.com

Join Blockchain.com as a Senior Product Security Engineer to enhance security across various product lines in a hands-on role.

Blockchain.com London Published 2 months ago
Flexible on stack
Airbyte

Join Airbyte as a Senior Software Engineer to build the AI Runtime that powers trustworthy AI agents in a collaborative environment.

Airbyte San Francisco Published 3 weeks ago
Flexible on stack
Blockchain.com

Join Blockchain.com as a Senior Product Security Engineer to enhance security across their innovative crypto products.

Blockchain.com Paris Published 3 weeks ago
Flexible on stack
Kodiak Robotics

Join Kodiak Robotics as a Senior Cloud Security Engineer to secure our cloud-native platforms and drive security initiatives.

Kodiak Robotics Mountain View, CA $190k–$250k/yr Published 5 months ago
Flexible on stack
The Better Money Company

Join a small team to build a stablecoin clearinghouse as a Senior Platform Engineer focused on correctness and efficiency.

The Better Money Company New York City Published 2 months ago
Flexible on stack
Anthropic

Own the end-to-end execution of custom silicon for AI systems at Anthropic, driving external partnerships and program management.

Anthropic San Francisco, CA | New York City, NY $365k–$435k/yr Published 1 month ago
Skydio

Join Skydio as a Senior Software Engineer to enhance developer productivity through scalable internal tools and efficient workflows.

Skydio San Mateo, California, United States $200k–$240k/yr Published 1 week ago
Flexible on stack
Anthropic
Silicon Engineer Hybrid Visa

Join Anthropic as a Silicon Engineer to lead custom silicon development for AI systems in a collaborative environment.

Anthropic San Francisco, CA $320k–$485k/yr Published 1 month ago