Formal jobs

Account Executive San Francisco ABOUT FORMAL Formal is data security platform designed to help teams understand and control their data on autopilot. We're building a modern protocol-aware reverse-proxy for datastores and APIs that helps organizations understand their data in real-time. This allows teams to see how sensitive data is stored, consumed, and used in order to enforce least privilege through masking, filtering, or anonymization policies. We are trusted by leading companies such as Ramp http://Ramp.com, Gusto http://Gusto.com, Notion http://Notion.com to solve problems across data security and compliance, data quality management, and infrastructure access. Formal is backed by top-tiers VCs including Thrive Capital and Y Combinator with angel investors that include executives and founders from Datadog, Clickhouse, Plaid, and Vanta. ABOUT THE ROLE We're looking for account executives who want to roll up their sleeves and help close deals and develop our go-to-market motion. You'll need to iterate on positioning, lead generation, and closing processes. We're looking for people to develop our GTM strategy and close key customer accounts as they build the sales process. WHAT YOU'LL DO - Generate leads through cold calling, research, networking, and driving your territory - Manage and convert inbound leads to drive revenue growth - Develop and implement full sales cycle strategies for driving product adoption, net new product sales, and client retention at scale among existing Formal customers - Collaborate with internal teams to ensure customer satisfaction and successful onboarding - Track and report on sales performance metrics - Gather client feedback to inform

Product Marketing Manager San Francisco ABOUT FORMAL Formal is data security platform designed to help teams understand and control their data on autopilot. We're building a modern protocol-aware reverse-proxy for datastores and APIs that helps organizations understand their data in real-time. This allows teams to see how sensitive data is stored, consumed, and used in order to enforce least privilege through masking, filtering, or anonymization policies. We are trusted by leading companies such as Ramp http://Ramp.com, Gusto http://Gusto.com, Notion http://Notion.com to solve problems across data security and compliance, data quality management, and infrastructure access. Formal is backed by top-tiers VCs including Thrive Capital and Y Combinator with angel investors that include executives and founders from Datadog, Clickhouse, Plaid, and Vanta. ABOUT THE ROLE As our Product Marketing Manager, you will play a crucial role in shaping and communicating Formal's value proposition to our target market. You'll work closely with our product, sales, and leadership teams to develop and execute marketing strategies that drive growth and establish Formal as a leader in the data security space. WHAT YOU'LL DO - Develop and execute marketing strategies that align with Formal's business objectives and target audiences - Build marketing campaigns (including in-person events, digital events, social/PR, customer marketing) to drive sales pipeline and acquire new customers - Create and maintain product positioning and messaging that differentiates Formal in the market - Produce high-quality marketing collateral, including whitepapers, case studies, blog posts, and sales enablement materials - Work closely with the sales team to

Software Engineer | Backend San Francisco ABOUT FORMAL Formal is data security platform designed to help teams understand and control their data on autopilot. We're building a modern protocol-aware reverse-proxy for datastores and APIs that helps organizations understand their data in real-time. This allows teams to see how sensitive data is stored, consumed, and used in order to enforce least privilege through masking, filtering, or anonymization policies. We are trusted by leading companies such as Ramp http://Ramp.com, Gusto http://Gusto.com, Notion http://Notion.com to solve problems across data security and compliance, data quality management, and infrastructure access. Formal is backed by top-tiers VCs including Thrive Capital and Y Combinator with angel investors that include executives and founders from Datadog, Clickhouse, Plaid, and Vanta. ABOUT THE ROLE Formal is on a mission to build the best engineering team and we're looking for people who want to make outsized impact on shaping the product and building the company. Our ideal candidate has a deep understanding of building scalable backend systems, a strong sense of ownership, and enjoys owning projects from inception to scaling it in production. Our tech stack currently involves Golang, Rust, Temporal, Datastore protocols (Postgres, S3, Kafka, MySQL, Snowflake, Redshift, SSH), and AWS WHAT YOU'LL DO - Design and develop a high performance data platform that can handle large volumes of data in real-time - Build new product features from start to finish through to research, implementation, and maintenance - Help improve performance and reliability of net new and existing features -

Solutions Engineer San Francisco ABOUT FORMAL Formal is data security platform designed to help teams understand and control their data on autopilot. We're building a modern protocol-aware reverse-proxy for datastores and APIs that helps organizations understand their data in real-time. This allows teams to see how sensitive data is stored, consumed, and used in order to enforce least privilege through masking, filtering, or anonymization policies. We are trusted by leading companies such as Ramp http://Ramp.com, Gusto http://Gusto.com, Notion http://Notion.com to solve problems across data security and compliance, data quality management, and infrastructure access. Formal is backed by top-tiers VCs including Thrive Capital and Y Combinator with angel investors that include executives and founders from Datadog, Clickhouse, Plaid, and Vanta. ABOUT THE ROLE Formal is on a mission to build the best engineering team and we're looking for people who want to make outsized impact on shaping the product and building the company. We're looking for a Solutions Engineer who will partner closely with our customers and prospects to deeply understand their infrastructure and workflows, guide technical evaluations, and ensure successful deployments and ongoing value. This is a hybrid role that blends strong technical acumen with customer-facing empathy. You'll collaborate with engineering, product, and GTM teams to solve complex customer problems and influence the roadmap based on real-world needs. If you're someone who loves diving into technical architecture, explaining complex topics clearly, and helping teams adopt powerful products, this role is for you. WHAT YOU'LL DO - Act as the technical

Staff Software Engineer | Backend San Francisco ABOUT FORMAL Formal is data security platform designed to help teams understand and control their data on autopilot. We're building a modern protocol-aware reverse-proxy for datastores and APIs that helps organizations understand their data in real-time. This allows teams to see how sensitive data is stored, consumed, and used in order to enforce least privilege through masking, filtering, or anonymization policies. We are trusted by leading companies such as Ramp http://Ramp.com, Gusto http://Gusto.com, Notion http://Notion.com to solve problems across data security and compliance, data quality management, and infrastructure access. Formal is backed by top-tiers VCs including Thrive Capital and Y Combinator with angel investors that include executives and founders from Datadog, Clickhouse, Plaid, and Vanta. ABOUT THE ROLE Formal is on a mission to build the best engineering team and we're looking for people who want to make outsized impact on shaping the product and building the company. Our ideal candidate has a deep understanding of building scalable backend systems, a strong sense of ownership, and enjoys owning projects from inception to scaling it in production. Our tech stack currently involves Golang, Rust, Temporal, Datastore protocols (Postgres, S3, Kafka, MySQL, Snowflake, Redshift, SSH), and AWS WHAT YOU'LL DO - Design and develop a high performance data platform that can handle large volumes of data in real-time - Build new product features from start to finish through to research, implementation, and maintenance - Help improve performance and reliability of net new and existing features

Founding Designer San Francisco | OnSite ABOUT FORMAL Formal is data security platform designed to help teams understand and control their data. We're building a modern protocol-aware reverse-proxy for datastores and APIs that helps organizations understand their data in real-time. This allows teams to see how sensitive data is stored, consumed, and used in order to enforce least privilege through masking, filtering, or anonymization policies. We are trusted by leading companies such as Ramp http://Ramp.com, Gusto http://Gusto.com, Notion http://Notion.com to solve problems across data security and compliance, data quality management, and infrastructure access. Formal is backed by top-tiers VCs including Thrive Capital and Y Combinator with angel investors that include executives and founders from Datadog, Clickhouse, Plaid, and Vanta. ABOUT THE ROLE As our Founding Designer you will play a crucial role in shaping and communicating Formal's story by owning UI/UX, visual design, branding, and video production. You'll have ownership of our design strategy and execution, working directly with the CEO and collaborating closely with engineering. WHAT YOU'LL DO - Design Interfaces: Develop intuitive UI/UX designs for our app using Figma while engaging directly with customers to shape product design. - Design and maintain our website. Create visually striking and intuitive web experiences that showcase our product and brand narrative. - Craft Visuals: Create engaging visuals and dynamic content for marketing, launches, and case studies. - Drive Branding: Ensure design consistency across Formal's brand identity. - Collaborate Cross-functionally: Work directly with the team to align design strategies with business goals.

Formal Verification - AI/ML Engineer Austin, United States of America Apple's Hardware Technologies Formal Verification team is seeking an AI/ML Engineer to work at the intersection of Artificial Intelligence and Formal Verification. In this role, you will explore, prototype, and build AI-powered systems - with a focus on Large Language Models - to augment and transform how formal verification is performed on Apple Silicon. You will work closely with formal verification engineers, design engineers, and EDA tool developers to identify high-impact opportunities and deliver practical, domain-specific AI applications. You will be responsible for: Building domain-specific AI applications that leverage LLMs and other ML techniques to accelerate formal verification workflows - from specification interpretation to property generation, proof debugging, and beyond. Developing and fine-tuning LLM-based systems tailored to hardware verification tasks, including retrieval-augmented generation (RAG) pipelines, agentic tool-use frameworks, and domain-adapted models. Collaborating with formal verification engineers to deeply understand FV methodologies, pain points, and opportunities where AI can meaningfully improve productivity, quality, and coverage. Prototyping novel AI-driven approaches for tasks such as automatic SVA property synthesis, natural-language-to-formal-specification translation, proof strategy recommendation, and intelligent counterexample analysis. Evaluating and integrating emerging AI/ML research into practical, production-quality tools and workflows used by the FV team. Establishing best practices and infrastructure for AI application development within the FV organization. Minimum Qualifications: A minimum of a bachelor's degree in relevant field and a minimum of 10 years of relevant industry experience. Preferred Qualifications: Strong hands-on experience building AI/ML applications, particularly those leveraging Large Language Models

Lead Principal Engineer Formal Verification (f/m/div) Dublin (Ireland) | Munich (Germany)

Staff/ Principal Formal Verification Engineer Israel Astera Labs (NASDAQ: ALAB) provides rack-scale AI infrastructure through purpose-built connectivity solutions. By collaborating with hyperscalers and ecosystem partners, Astera Labs enables organizations to unlock the full potential of modern AI. Astera Labs' Intelligent Connectivity Platform integrates CXL®, Ethernet, NVLink, PCIe®, and UALink™ semiconductor-based technologies with the company's COSMOS software suite to unify diverse components into cohesive, flexible systems that deliver end-to-end scale-up, and scale-out connectivity. The company's custom connectivity solutions business complements its standards-based portfolio, enabling customers to deploy tailored architectures to meet their unique infrastructure requirements. Discover more at www.asteralabs.com . Role Overview Astera Labs is establishing a strategic R&D center in Israel to drive the development of complex semiconductor chips that solve the critical 'data bottlenecks' enabling the future of AI at scale. As we expand our presence in Israel, we're seeking a visionary Formal Verification Engineer to help build our local engineering powerhouse from the ground up. This is a unique opportunity to take on meaningful product ownership in a new site, defining the formal verification strategy for chips that power the world's largest AI clusters. As the Formal Verification Engineer, you will be a foundational member of our Israel R&D center. You won't just execute tasks; you will define the Formal verification strategy for chips that drive the world's largest AI clusters. You will dive deep into the technical details, proving the correctness of complex designs and ensuring they flawlessly meet specifications. Key Responsibilities - Own and develop formal

Formal Verification - DV San Jose, CA, United States About Etched Etched is building the world's first AI inference system purpose-built for transformers - delivering over 10x higher performance and dramatically lower cost and latency than a B200. With Etched ASICs, you can build products that would be impossible with GPUs, like real-time video generation models and extremely deep & parallel chain-of-thought reasoning agents. Backed by hundreds of millions from top-tier investors and staffed by leading engineers, Etched is redefining the infrastructure layer for the fastest growing industry in history. Job Summary We are seeking a Formal Verification Engineer to join our ASIC Design Verification team. You will drive formal verification across the custom IP, interface IP, and SoC subsystems that power our ASICs, including compute arrays, DMA engines, NoCs, memory systems, PCIe, Ethernet, CPU subsystems, low-power peripherals, and vendor IP wrappers. You will work closely with architects, RTL designers, DV engineers, emulation teams, and software/firmware teams to prove design correctness, expose deep corner-case bugs, and improve verification closure across the full chip. Key Responsibilities - Define and drive formal verification strategy across the ASIC DV team for complex IP blocks, interface subsystems, and SoC integration logic. - Develop formal verification plans covering functional correctness, connectivity, ordering, reset behavior, configuration legality, and deadlock/livelock freedom. - Build reusable formal environments using SystemVerilog Assertions, assumptions, constraints, checkers, cut-points, abstraction models, and reference models. - Drive proof convergence using abstractions, cut-points, assume-guarantee reasoning, cover properties, bounded-proof analysis, and coverage metrics to establish formal

Software Engineer | Fullstack San Francisco | OnSite ABOUT FORMAL Formal is data security platform designed to help teams understand and control their data on autopilot. We're building a modern protocol-aware reverse-proxy for datastores and APIs that helps organizations understand their data in real-time. This allows teams to see how sensitive data is stored, consumed, and used in order to enforce least privilege through masking, filtering, or anonymization policies. We are trusted by leading companies such as Ramp http://Ramp.com, Gusto http://Gusto.com, Notion http://Notion.com to solve problems across data security and compliance, data quality management, and infrastructure access. Formal is backed by top-tiers VCs including Thrive Capital and Y Combinator with angel investors that include executives and founders from Datadog, Clickhouse, Plaid, and Vanta. ABOUT THE ROLE Formal is on a mission to build the best engineering team and we're looking for people who want to make outsized impact on shaping the product and building the company. Our ideal candidate has a deep understanding of building scalable systems, a strong sense of ownership, and enjoys owning projects from inception to scaling it in production. Our tech stack currently involves Typescript, NextJS, Shadcn, Vercel, and Golang WHAT YOU'LL DO - Continuously improve the performance and reliability of our frontend application by optimizing code and identifying areas for enhancement. - Enhance existing features by incorporating user feedback and implementing improvements to usability and design. - Take ownership of the frontend architecture, ensuring scalability, maintainability, and adherence to best practices. - Lead any initiative

Senior Software Engineer | Backend San Francisco | OnSite ABOUT FORMAL Formal is data security platform designed to help teams understand and control their data on autopilot. We're building a modern protocol-aware reverse-proxy for datastores and APIs that helps organizations understand their data in real-time. This allows teams to see how sensitive data is stored, consumed, and used in order to enforce least privilege through masking, filtering, or anonymization policies. We are trusted by leading companies such as Ramp http://Ramp.com, Gusto http://Gusto.com, Notion http://Notion.com to solve problems across data security and compliance, data quality management, and infrastructure access. Formal is backed by top-tiers VCs including Thrive Capital and Y Combinator with angel investors that include executives and founders from Datadog, Clickhouse, Plaid, and Vanta. ABOUT THE ROLE Formal is on a mission to build the best engineering team and we're looking for people who want to make outsized impact on shaping the product and building the company. Our ideal candidate has a deep understanding of building scalable backend systems, a strong sense of ownership, and enjoys owning projects from inception to scaling it in production. Our tech stack currently involves Golang, Rust, Temporal, Datastore protocols (Postgres, S3, Kafka, MySQL, Snowflake, Redshift, SSH), and AWS WHAT YOU'LL DO - Design and develop a high performance data platform that can handle large volumes of data in real-time - Build new product features from start to finish through to research, implementation, and maintenance - Help improve performance and reliability of net new and

Formal Verification Engineer Austin, United States of America Do you love creating elegant solutions to highly complex challenges? Do you intrinsically see the importance in every detail? As part of our Silicon Technologies group, you'll help design and manufacture our next-generation, high-performance, power-efficient processor, system-on-chip (SoC). You'll ensure Apple products and services can seamlessly and efficiently handle the tasks that make them beloved by millions. Joining this group means you'll be responsible for crafting and building the technology that fuels Apple's devices. Together, you and your team will enable our customers to do all the things they love with their devices. Learn from the best Formal Verification team in the world and acquire experience being at the center of a System-on-a-chip (SoC) design verification effort collaborating with design. Are you passionate about changing the world? We have a critical impact on getting high quality functional products to millions of customers quickly. As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Cellular and Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.), you will be responsible for: - Working with Apple Silicon's world-class Security Enclave design engineers to develop a formal micro-architecture specification - Developing comprehensive formal verification test plan that includes unique security requirement verification - Proving properties of the design, finding design bugs, and working closely with design teams to help improve the micro-architecture. - Crafting novel

Manager, Formal Verification China, Shanghai posted: Posted 23 Days Ago

Intern: Application Engineering - Formal Verification BELO HORIZONTE posted: Posted 3 Days Ago

Formal Methods Engineer London, England, United Kingdom About the Position We're looking for software engineers and researchers to establish a new Formal Methods team at Jane Street. With the emergence of agentic programming, we think formal methods will play a major role in providing feedback for agents and helping validate agent-generated code. Our vision is to make formal methods as useful a tool for building software as type systems are for us today, both by leveraging existing tools and technology, and pursuing novel approaches. We're looking to build a new team with engineers who have: - Deep experience with formal methods. There's no specific checklist. We're broadly interested in people with backgrounds in interactive proof assistants, automated theorem provers, static analysis, refinement types, program logics, property-based testing, and related areas. - Top-notch software engineering skills. We're looking for people who can turn cutting-edge research ideas into practical tools, and get these tools in use across the firm and beyond. - Strong interpersonal skills. Software engineering at Jane Street is highly collaborative, and we're looking for people who can work effectively in small, close-knit teams. We are interested in exploring a wide variety of approaches. While we are eager to integrate new tools into our existing infrastructure, no previous experience with OCaml or functional programming is required. Why do it here? The whole world is thinking about what agents mean for the future of programming, and there's no shortage of efforts trying to mix formal methods and agents. But think there

Senior / Lead Design Verification Engineer (Formal & Simulation) Ahmedabad, India posted:

Formal Verification Engineer - CPU Core US, California, Folsom posted: Posted 30+ Days Ago

Formal Verification Engineer Mountain View, CA What MatX Is Building MatX's mission is to make the world's best AI models run as efficiently as allowed by physics, bringing the world years ahead in AI quality and availability. We build the full stack-from silicon and rack design through compilers, kernels, and ML models. We are seeking a Formal Verification Engineer to bring rigorous mathematical guarantees to our hardware and software at every layer of the stack. What You'll Do Here - Apply model checking and formal property verification to RTL blocks, memory subsystems, and interconnects, providing complete coverage wherever possible, using tools such as JasperGold or VC-Formal. - Develop and maintain machine-checked proofs for critical compiler transformations, ensuring correctness of lowering passes from our high-level programming model down to hardware - Build embeddings of our hardware description languages and simulator models into interactive theorem provers (e.g. Lean 4, Rocq, Isabelle/HOL), and use those embeddings to prove functional correctness and microarchitectural properties directly against the designs - Collaborate with architecture, compiler, and silicon verification teams to identify correctness properties worth proving and translate them into tractable proof obligations - Drive methodology for integrating formal tools (JasperGold, SymbiYosys, or equivalent) into our existing practices Who You Are - Hands-on experience with hardware model checking-writing SVA/PSL properties, running bounded or unbounded proofs, and closing out formal verification targets at block or subsystem level - Practical experience with at least one interactive theorem prover (Lean, Coq, Isabelle/HOL, Agda, or similar) - Experience embedding an existing

Formal Verification Student Israel, Haifa posted: Posted 8 Days Ago

Formal Verification Engineer - New College Grad 2026 US, CA, Santa Clara posted: Posted 4 Days Ago

CPU Formal Verification Lead India, Bangalore posted: Posted 30+ Days Ago

Senior Formal Verification Engineer India, Bengaluru posted: Posted 30+ Days Ago

FVCTO - Formal Verification Specialist India, Bangalore posted: Posted 30+ Days Ago