"formal verification" Jobs

Join Morpho Labs as a Senior Protocol Engineer to enhance the security and efficiency of their DeFi lending protocol.

Own quality for an AI-enabled decision-support system as a QA Engineer in a fully remote role.

Join Twilio as a Fraud Operations Specialist to combat fraud on our communications platform in a fully remote role based in Estonia.

Join Twilio as a Staff Engineer in Offensive Security, leading complex penetration testing and vulnerability assessments in a remote-first environment.

Design and own workflow systems in Jira to enhance engineering, product, and design effectiveness at Vanta.

Own the data systems at Vanta, enhancing trustworthiness and efficiency in signal processing and ingestion.

Own the technical direction and architecture of critical infrastructure as a Staff Infrastructure Engineer at SentiLink.

Join Twilio as an Onboarding Operations Specialist to support customer verification and compliance in a remote-first environment.

Join Twilio as a Senior Architect to drive innovation in fraud detection and governance with a remote-first team.

Join Twilio as a Principal Engineer to lead the technical strategy for a platform processing millions of requests.

Join Twilio as a Staff Software Engineer to build IAM products and features for our Identity Platform Team in a remote-first environment.

Join Twilio as a Compliance Operations Specialist to monitor product usage and ensure compliance with policies.

Lead Twilio's Fraud Operations team to prevent consumer harm in a remote-first environment.

Join Twilio as a Senior DevOps Engineer to lead the observability transformation in a fully remote environment.

Join Nexus as a Systems Engineer to build high-performance components for a Layer 1 blockchain from anywhere in Latin America.

Lead the Platform Integration team as a Principal Engineer at a fast-growing remote cybersecurity company.

Build the data and model layer for an AI-enabled decision-support system in a fully remote role.

Join OpenRouter as a Program Manager to scale provider partnerships and build a structured program in a fast-paced AI ecosystem.

Own strategic commercial accounts in the North America private sector, leveraging AI to drive customer success and growth.