"formal verification" Jobs
34 open tech roles matching “formal verification”, taken straight from company career pages — not reposted from other job boards. Most in demand right now: AI/ML, Go, TypeScript. Every listing is re-checked daily and closed roles are removed.
Showing 20 of 34 results
Join CertiK as a Software Engineer to develop tools ensuring the correctness of smart contracts in a collaborative environment.
Design and implement security architectures for bare-metal infrastructure in a collaborative AI-focused environment.
Join Anthropic as a Platform Security Engineer to audit and enhance security features across critical systems.
Lead the Experimentation pillar at LaunchDarkly to shape the future of AI-driven experimentation platforms.
Join Ironclad as a Principal Engineer to architect AI-powered contract intelligence features in a collaborative environment.
Join Ironclad as a Senior Staff Software Engineer to lead the development of AI-powered contract intelligence features in a collaborative environment.
Design and build the next generation platform for user interactions at LaunchDarkly, focusing on operational excellence and mentoring engineers.
Join Anthropic as an Operating Systems Security Engineer to enhance OS security for AI workloads in a collaborative environment.
Join Anthropic as a Silicon Engineer to lead custom silicon development for AI systems in a collaborative environment.
Lead the Experimentation team at LaunchDarkly, driving the development of a core product that enhances data-driven decision-making.
Join Cogent AI Fellowship to transition research into production in the field of AI and cybersecurity.
Join Cogent Security as an AI Research Engineer to innovate in automated reasoning and AI-driven code analysis for cybersecurity.
Own the quality and consistency of core flag surfaces as a Staff Frontend Engineer at LaunchDarkly.
Own end-to-end feature development for enterprise customers at LaunchDarkly, focusing on scalability and performance.
Join Anthropic as a Customer Trust Specialist to enhance security engagements and build trust with enterprise customers.
Join LaunchDarkly as a Senior Backend Engineer to modernize billing systems and ensure revenue correctness.
Join Anthropic as a Research Engineer to advance AI models' silicon design capabilities within a hybrid work environment.
Drive high-impact research in automated reasoning and AI-driven security at a rapidly growing applied AI lab.
Join Preference Model as a Machine Learning Engineer to develop low-level reinforcement learning environments in a fast-paced startup.