"formal verification" Jobs

Support the Engineering team in regulatory research and compliance deliverables at a leading Web3 security company.

Join CertiK as a Compliance Engineer to turn AI outputs into client deliverables in a leading Web3 security company.

Join CertiK as an IT Operations Specialist to support technical and non-technical teams in a fast-paced 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.

Join CertiK as a Web3 Business Development professional to drive revenue growth and expand brand recognition in the Web3 space.

Lead compliance efforts in AML and virtual asset regulations at a leading Web3 security company.

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

Join CertiK as a public-facing Web3 security researcher, engaging with the community and representing the company at events.

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

Join Anthropic as a Customer Trust Specialist to enhance security engagements and build trust with enterprise customers.

Join Anthropic as a Research Engineer to advance AI models' silicon design capabilities within a hybrid work environment.

Join Valence as a Founding Product Deployment Specialist to drive AI-powered product launches for enterprise clients.

Join Crosby as a Research Engineer to bridge research and production in AI-driven legal solutions.

Join Anthropic as a Research Engineer to enhance AI's coding capabilities through reinforcement learning in a collaborative environment.

Join Aquant as a Senior Enterprise Account Executive to drive sales and innovation in a dynamic startup environment.