Senior Formal Verification Engineer Jobs

NVIDIA has continuously reinvented itself. Our invention of the GPU sparked the growth of the PC gaming market, redefined modern computer graphics, and revolutionized parallel computing. Today, research in artificial intelligence is booming worldwide, which calls for highly scalable and massively parallel computation horsepower that NVIDIA GPUs excel. NVIDIA is a “learning machine” that constantly evolves by adapting to new opportunities that are hard to solve, that only we can address, and that matter to the world. This is our life’s work , to amplify human creativity and intelligence. As an NVIDIAN, you’ll be immersed in a diverse, supportive environment where everyone is inspired to do their best work. Come join our diverse team and see how you can make a lasting impact on the world! As a Formal Verification Engineer at NVIDIA, you will be responsible for formally verifying complex designs. NVIDIA has developed a strong functional formal verification methodology that not only enables hardware design and verification engineers to use lightweight FV tools and techniques successfully but also allows FV engineers to use advanced property proving techniques on complex and/or critical RTL logic. The job involves very close interaction with the design team, architecture team, with other validation teams, and with NVIDIA's internal FV R&D group that develops functional verification tools using formal verification technology. What you'll be doing: You will help decide on the best applications of formal verification techniques to various parts of the design. Review functional and micro-architectural specifications, define the scope for formal verification, and create high-quality formal verification testplans to sign-off on the corresponding design implementation. Build formal verification testbenches, code assertions and constraints, and apply abstra

Role: Senior AI Engineer Location: Hyderabad, India (Hybrid) Department: Product Development About the Role GHX is building a cutting-edge LLM-powered document understanding platform focused on classification, structured data extraction, and intelligent orchestration at scale. This is a high-impact AI engineering role where you will own the full lifecycle—from problem framing to production deployment . Initially, you will focus on prompt engineering and evaluation systems , building the quality foundation for AI performance. Over time, the role expands into agent orchestration, system architecture, and migration of rule-based systems to LLM-driven pipelines . A strong foundation in software engineering (5+ years) is essential. This role demands engineering rigor across both traditional system design and AI system behavior . Core Responsibilities 1. Prompt Engineering Design prompts for diverse document classification and extraction tasks Treat prompts as formal specifications (precise, structured, and edge-case-aware) Develop few-shot, chain-of-thought, and structured output templates Manage prompt lifecycle: versioning, testing, and rollback 2. LLM Output Evaluation Create and maintain ground truth datasets Build automated evaluation pipelines (precision, recall, field-level accuracy) Identify and resolve conceptually incorrect outputs despite surface correctness 3. AI Agent Orchestration Design multi-agent workflows for document processing Implement tool-use patterns and integrate MCP servers Optimize orchestration for scale and efficiency 4. Software Engineering Develop production-grade APIs and backend services Apply Clean Architecture / DDD principles Write maintainable, testable Python code Contribute to CI/CD, deployment, and observability systems 5. Stakeholder Collaboration Act as a bridge between business stakeholders and AI systems Translate product requirements into technical architectures Communicate system behavior, limitations, and quality

Work Experience Required: 8 - 12 Years Experience in programing (Python, R, SQL, NoSQL,Spark) with ML tools & Cloud Technology (AWS, Azure, GCP) Experience in Python libraries such as numpy, pandas, scikit-learn, tensor-flow, scapy, scrapy, BERT etc. Good understanding in statistics, and ability to design statistical hypothesis testing to aid formal decision making. Develops predictive models using Machine Learning algorithms (SVM, Random Forest, Neural Network, Decision Tree, Logistic Regression, K-mean Clustering, linear regression, PCA etc.) Engaging with clients, understanding complex problem statements, and offering solutions in the domains of Retail, Pharma, Banking, Insurance, etc. Contribute to internal product development initiatives related to data science. Develop data science roadmap, and guide data scientist to meet their deliverables. Handling end-to-end client AI & analytics programs. Your role will be a combination of hands-on contribution, technical team management, and client interaction. Proven ability to discover solutions hidden in large datasets and to drive business results with their data-based insights Drive excellent project management required to deliver complex projects, including effort/time estimation. Be proactive, with full ownership of the engagement. Build scalable client engagement level processes for faster turnaround & higher accuracy Define Technology/ Strategy and Roadmap for client accounts, and guides implementation of that strategy within projects Run regular project reviews and audits to ensure that projects are being executed within the guardrails agreed by all stakeholders Manage the team-members, to ensure that the project plan is being adhered to over the course of the project Manage the client stakeholders, and their expectations, with a regular cadence of weekly meetings and status updates. Build a trusted advisor relationship with the IT management at clients and internal accounts leadership. Build

We are looking for a strong technical leader to join the Private Action Runner team, part of the larger Action Platform group and help shape one of the core execution layers behind Datadog’s action-taking and remediation capabilities. Private Action Runner (PAR) enables Datadog products and AI agents to securely run actions inside customer infrastructure with controls for authentication, permissions, auditing and safe execution. The role will be hands-on, covering architecture, implementation, reliability and collaboration with teams integrating PAR across Datadog. It also offers leadership exposure through leading a team of 3 engineers, with the expectation that the role will quickly transition into a formal Engineering Manager 1 position as the team grows. At Datadog, we place value in our office culture - the relationships and collaboration it builds and the creativity it brings to the table. We operate as a hybrid workplace to ensure our Datadogs can create a work-life harmony that best fits them. What You’ll Do: (Describe role responsibilities here) Solve a scaling bottleneck in a critical service Deploy a new feature to production, progressively rolling it out with feature flags Investigate and fix a production issue from a service your team owns Design a way to scale up a service for more traffic With your team, plan the most important projects to work on next Mentor and lead a small team of 3 engineers Who You Are: (Describe role qualifications here) You have significant experience in one or more languages You value code simplicity and performance You can design architecture to solve problems at high scale You have a BS/MS/PhD in a scientific field or equivalent experience You want to work in a fast, high-growth startup environment that respects its engineers and customers You’re excited about leveraging AI tools to enhance how you code, solve problems, and build – or eager to learn how You have demonstrated ability to use AI

Strength in Trust OneTrust’s mission is to enable innovation through the responsible use of data and AI. We believe that ensuring data is trusted shouldn’t slow teams down—it should accelerate what’s possible. This led us to develop the first technology platform for responsible data use in 2016. Today, with AI representing the latest and most impactful expansion of data yet, OneTrust is once again redefining what responsible innovation looks like. OneTrust, the AI‑Ready Governance Platform™, unifies regulatory intelligence, automation, and connected governance workflows so businesses can continue to move at the speed of AI while ensuring good governance to prevent data misuse at scale. Trusted by thousands of organizations worldwide, OneTrust is shaping the future where trusted data becomes a transformative force for business and society. The Challenge We're looking for a Senior Staff Software Engineer to shape technical strategy across multiple teams or a full product area at OneTrust. Senior Staff Engineers are a recognized technical authority whose decisions on architecture and direction extend well beyond their immediate team. Your Mission Strategy & Architecture Define technical direction and architecture for a product area spanning multiple teams. Act independently on significant, unique problems that require evaluating intangible or unprecedented factors. Cross-Functional Influence Partner with Staff and Principal-level peers, and with Product/UX leadership, to align technical roadmap with business strategy. Build formal cross-group networks; serve as a recognized authority beyond your own team. Standards & Quality Establish engineering standards that get adopted org-wide within your domain. Mentorship & Talent Growth Mentor Staff Engineers and contribute to technical leveling and promotion calibration. You Are Someone who acts independently on

About the Team OpenAI’s People team is committed to hiring, engaging, and supporting world-class talent to help safely build and deploy universally beneficial Artificial General Intelligence (AGI). The Global Employee Relations and People Standards team brings together expertise in employee relations, employment investigations, and People compliance, policy, and standards. We play a critical role in shaping how OpenAI supports its people through complexity, growth, and change. Our team guides and supports the company through some of its most nuanced and high-impact people challenges. We operate with deep context and care, balancing trust, judgment, and creativity in every situation. We don’t default to predefined frameworks. Instead, we take a principled yet flexible approach, designing thoughtful, tailored solutions that reflect our values, the needs of our employees, and the unique pace of OpenAI. This role is based in San Francisco, CA. We use a hybrid work model of 3 days in the office per week and offer relocation assistance to new employees. About the Role We’re looking for a Senior Employee Relations Partner to focus on the non-investigative side of ER work, supporting high-trust, high-impact people matters. This includes conflict resolution, high-risk performance management, sensitive employee exits, and navigating workplace dynamics that require thoughtful, strategic support even when they don’t involve formal investigations. This role will report to the senior manager of the team. We're looking for someone who brings creativity, flexibility, and a deeply human-centered approach to solving people challenges. You’re energized by complexity and nuance, and instinctively seek out tailored, thoughtful solutions rather than one-size-fits-all answers. You don’t just apply rules; you understand context, think strategically, and help leaders make principled decisions that reflect our values and evolving culture. This role is a fit for someone who adapts quickly, th

Airbnb was born in 2007 when two hosts welcomed three guests to their San Francisco home, and has since grown to over 5 million hosts who have welcomed over 2 billion guest arrivals in almost every country across the globe. Every day, hosts offer unique stays and experiences that make it possible for guests to connect with communities in a more authentic way. The Community You Will Join: This role is part of the Key Accounts team at Airbnb who manages the partner relationships with our largest Supply Enterprises & API connectivity software partners. The Difference You Will Make: We are looking for an experienced Senior Connectivity Partner Manager to accelerate our API Connectivity Partnerships in the fast-growing territories of Southeast Asia and India . As a member of the Key Accounts team, you will be managing partner relationships with strategic supply partners, including distribution software companies and other IT solutions for Airbnb’s accommodation partners in APAC. You will be responsible for prospecting, contracting, on-boarding and optimizing strategic partnerships to accelerate growth and performance on both sides. You will be reporting to the Regional Key Accounts Lead in APAC. A Typical Day: Own a portfolio of Airbnb’s key partners and act as the key representative for these partners. Execute a win-win strategy for your portfolio that drives commercial value to all parties and positions Airbnb as a top strategic partner across all distribution channels. Develop strong relationships with executives and decision makers within your API partner portfolio, ensuring that partnerships meet the highest industry standards and that commercial agreements and service-level agreements (SLAs) are consistently met. Use data to identify strategic opportunities and launch pilots to drive sales growth Conduct regular business reviews, QBRs and formal presentations for internal and external purposes. Educate clients on product updates and share part

GitLab is the intelligent orchestration platform for DevSecOps. GitLab enables organizations to increase developer productivity, improve operational efficiency, reduce security and compliance risk, and accelerate digital transformation. More than 50 million registered users and more than 50% of the Fortune 100* trust GitLab to ship better, more secure software faster. The same principles built into our products are reflected in how our team works: we embrace AI as a core productivity multiplier, with all team members expected to incorporate AI into their daily workflows to drive efficiency, innovation, and impact. GitLab is where careers accelerate, innovation flourishes, and every voice is valued. Our high-performance culture is driven by our values and continuous knowledge exchange, enabling our team members to reach their full potential while collaborating with industry leaders to solve complex problems. Co-create the future with us as we build technology that transforms how the world develops software. * Fortune 500® is a registered trademark of Fortune Media IP Limited, used under license. Claim based on GitLab data. Fortune 100 refers to the top 20% ranked companies in the 2025 Fortune 500 list, published in June 2025. Fortune and Fortune Media IP Limited are not affiliated with, and do not endorse products or services of GitLab. An overview of this role You will engineer security improvements to the GitLab product as well as building and maintaining the tools we use to detect and prevent abuse on our SaaS platforms. A strong software engineering background with experience in large Ruby/Rails codebases is required. As a senior engineer on the Trust and Safety team, you will predictively identify abuse patterns and trends and build anomaly detection and prevention systems to mitigate abusive users and their activities. This role is an ideal fit for candidates with software engineering backgrounds interested in moving into security engineering. Formal

Every day, tens of millions of people come to Roblox to explore, create, play, learn, and connect with friends in 3D immersive digital experiences– all created by our global community of developers and creators. At Roblox, we’re building the tools and platform that empower our community to bring any experience that they can imagine to life. Our vision is to reimagine the way people come together, from anywhere in the world, and on any device. We’re on a mission to connect a billion people with optimism and civility, and looking for amazing talent to help us get there. A career at Roblox means you’ll be working to shape the future of human interaction, solving unique technical challenges at scale, and helping to create safer, more civil shared experiences for everyone. As a member of the Roblox Security Governance, Risk, and Compliance (GRC) team, you will play a key role in supporting the Security team’s mission. The GRC team is at the heart of Roblox's security organization — empowering every builder to make risk-informed decisions by establishing a portfolio of governing policies and standards, a repeatable and scalable method of assessing and quantifying risk, and a formal oversight process for GRC capabilities across Roblox. Our program takes a balanced, "right-sized" approach to security governance — combining qualitative and quantitative risk management methodologies, including Factor Analysis of Information Risk (FAIR), to assess and prioritize the security risks that matter most to Roblox. GRC partners closely with Engineering, Legal, Finance, and leadership — including providing regular reporting to the Board of Directors and the Audit & Compliance Committee — to ensure that security risk is visible, well-understood, and actioned appropriately. The team is in an exciting phase of growth and innovation. We are using engineering to drive automation across risk management, policy lifecycle management, supply chain risk, AI risk, and controls pr

Who we are At Twilio, we’re shaping the future of communications, all from the comfort of our homes. We deliver innovative solutions to hundreds of thousands of businesses and empower millions of developers worldwide to craft personalized customer experiences. Our dedication to remote-first work , and strong culture of connection and global inclusion means that no matter your location, you’re part of a vibrant team with diverse experiences making a global impact each day. As we continue to revolutionize how the world interacts, we’re acquiring new skills and experiences that make work feel truly rewarding. Your career at Twilio is in your hands. . Hiring and how we work We use Artificial Intelligence (AI) to help make our hiring process efficient. That said, every hiring decision is made by real Twilions! Also, while we are a remote-first company, you may be asked to report in person on an ad-hoc basis for team gatherings, functional off-sites or customer meetings. . See yourself at Twilio Join the team as Twilio’s next Senior Program Manager, Disaster Recovery. About the job This position is needed to lead the disaster recovery (DR) program. This leader is responsible for communicating, developing, implementing, maintaining and managing the governance of the enterprise disaster recovery management (DRM) program. The objective of this program is to support product and IT systems' resilience and timely recovery, regardless of cause. Responsibilities In this role, you’ll: Lead the annual plan development, review, and executive sign-off lifecycle for critical product and non-product systems Actively integrate disaster recovery vulnerabilities, Service Readiness Framework (SRF) findings, and exercise gaps into existing risk frameworks to quantify, score, and systematically drive down operational risk across the company. Author clear program updates, annual compliance metrics, and formal responses to internal and external audit finding

Who we are At Twilio, we’re shaping the future of communications, all from the comfort of our homes. We deliver innovative solutions to hundreds of thousands of businesses and empower millions of developers worldwide to craft personalized customer experiences. Our dedication to remote-first work , and strong culture of connection and global inclusion means that no matter your location, you’re part of a vibrant team with diverse experiences making a global impact each day. As we continue to revolutionize how the world interacts, we’re acquiring new skills and experiences that make work feel truly rewarding. Your career at Twilio is in your hands. . Hiring and how we work We use Artificial Intelligence (AI) to help make our hiring process efficient. That said, every hiring decision is made by real Twilions! Also, while we are a remote-first company, you may be asked to report in person on an ad-hoc basis for team gatherings, functional off-sites or customer meetings. . See yourself at Twilio Join the team as Twilio’s next Sr. Analytics Engineer, R&D. About the job This position is needed to advance the consistency & quality of our R&D analytics data layer and accelerate the development velocity of analysts. Our Data Science and Analytics team seeks to empower R&D to make data-backed decisions that accelerate innovation and improve product performance. You will work closely within our team and across Product & Engineering to design and maintain a robust analytics data layer that enables trusted reporting on R&D metrics. Responsibilities In this role, you’ll: Design and implement a formal analytics data layer using AWS Glue, Athena / Presto, and LookML Collaborate within the Data Science & Analytics team and across Product & Engineering to define, document, and maintain alignment on metric definition and data lineage Develop and maintain automated data reconciliation and quality checks to

MongoDB is hiring a Senior Manager, M&A Integration to help build and run the operational backbone for how MongoDB integrates its acquisitions, translating each deal thesis into a durable business outcome. As the Senior Manager, M&A Integration, you’ll help ensure acquisitions are integrated successfully and that the value outlined in each deal is realized. You may provide input during diligence to help flag integration risks, and you will lead integration planning and execution from LOI through post-close for assigned deals, reporting to the Chief of Staff to the CFO and partnering closely with our Corporate Development team. You'll coordinate across every functional team involved in a deal — Legal, HR, Finance & Accounting, IT, Go-to-Market, Marketing, and Product & Technology. You and the Chief of Staff together will support the Integration Management Office (IMO): defining workstreams, building the master integration plan, and supporting governance cadence for each deal. This is a hands-on execution role with real ownership of individual deal integrations. You’ll help build out MongoDB’s integration playbook – standard plans, checklists, templates – turning deal-by-deal efforts into more consistent, repeatable practices alongside the Chief of Staff. This role is ideal for someone who has led M&A integration workstreams before and knows how to bring structure to the ambiguity of a newly closed deal. You know how to drive cross-functional execution without formal authority, operate with autonomy within a defined framework, move fluidly between Day 1 planning, synergy tracking, and status reporting, and take ownership of outcomes rather than waiting to be told what to do. This role may flex across multiple concurrent deals depending on the pace of acquisitions. This role can be based in New York City, Austin, or Palo Alto for our hybrid working model or remotely in the United States. What You'll Do Integration Strategy & Planning Partner wit

At Snowflake, we are powering the era of the agentic enterprise. To usher in this new era, we seek AI-native thinkers across every function who are energized by the opportunity to reinvent how they work. You don’t just use tools; you possess an innate curiosity, treating AI as a high-trust collaborator that is core to how you solve problems and accelerate your impact. We look for low-ego individuals who thrive in dynamic and fast-moving environments and move with an experimental mindset — who rapidly test emerging capabilities to discover simpler, more powerful ways to deliver results. At Snowflake, your role isn't just to execute a function, but to help redefine the future of how work gets done. The Senior Services Solutions Manager (SSM) at Level 4 is a fully qualified professional responsible for managing complex engagements. This role focuses on the strategic transition of customers from purchasing "hours" to achieving "defined impact" and business value. You will act as a consultative challenger, ensuring that every Statement of Work (SOW) is a rigorous, milestone-driven roadmap linked to specific business outcomes. WHY THIS ROLE? Complex Problem Solving: Work on problems of diverse scope where analysis of data requires evaluation of identifiable factors. Strategic Impact: Own the services lifecycle for high-stakes, complex engagements, ensuring technical discovery is grounded in core product capabilities. Operational Leadership: Implement formal Scope Governance and maintain practice margin health through meticulous SFDC rigor. WHAT YOU’LL DO: Consultative Challenger: Provide the confidence to challenge unrealistic customer requests and offer strategic trade-off options to protect project health and customer success. Scope Governance: Lead deep technical discovery pre-signature and implement formal, auditable change management processes for all scope modifications. Commercial Data Integrity: Own the accuracy of bookings forecasts and financial milestones in SF

Ready to do the most impactful work of your career? At Coinbase , we are uncompromising on our mission to increase economic freedom. The bar is high, the environment is intense, and we like it that way. This isn't a place for complacency, it’s a place to be pushed past your perceived limits. If you're ready to build the future of finance alongside people who refuse to settle for "good enough," you belong here. Coinbase is a remote-first, but not remote-only company. Expect to get together quarterly for intense in-person working sessions called “surges.” learn more about working at Coinbase . As the AMLCO & Senior Compliance Associate for Coinbase's Cyprus MiFID entity, you'll own Financial Crime Compliance (AML/CFT) while supporting the Head of Compliance in building and running the broader compliance program. The Compliance team ensures our Cyprus operations meet CySEC and EU regulatory expectations across AML/CFT, MiFID conduct, Market Abuse, and data protection, enabling the business to scale safely. You'll combine formal AMLCO responsibilities with hands-on second-line oversight of risk assessment, monitoring, policy governance, training, and regulatory engagement. Hybrid Role: Please expect to be remote 4 days per week and in-office on Wednesdays. What you'll do: Own all AMLCO deliverables for the Cyprus MiFID entity, including the Annual AMLCO Report, AML Risk Assessment, and periodic financial crime compliance reporting to senior management and the Board. Lead second-line monitoring and testing across AML/CFT and broader conduct/compliance areas, documenting results, findings, and remediation actions for internal governance bodies. Drive regulatory engagement with CySEC, the FIU, and competent authorities, coordinating responses to information requests, inspections, and thematic reviews. Partner with first-line teams to assess the effectiveness of onboarding, KYC/EDD, sanctions screening, transaction monitoring, and STR/SAR reporting controls,

At Lyft, our purpose is to serve and connect. We aim to achieve this by cultivating a work environment where all team members belong and have the opportunity to thrive. Lyft's Airport Partnerships team manages the company's relationships with airport authorities across the U.S. and Canada, ensuring Lyft operates as a trusted, compliant, and collaborative partner at every airport we serve. The team is organized by region, with each Business Development Manager owning the airport relationships within their territory. This role owns the Northeast region, covering U.S. states from the Northeast through the Mid-Atlantic and Carolinas, and Canadian provinces from Ontario and Quebec eastward. As a qualified candidate, you're comfortable operating across a wide range of altitude — from negotiating agreements with senior airport officials to processing day-to-day operational requests like driver suspensions and fee changes. You know how to build and adapt relationships with airport partners, whose working styles range from informal and high-touch to highly formal and bureaucratic, and you're equally skilled at translating airport needs into requirements that Lyft's internal teams — legal, compliance, product, finance, and marketing — can act on, and vice versa. You are self-directed and highly organized, able to manage a mix of reactive, ad hoc requests and longer-term strategic projects without close oversight, and you take pride in being a collaborative business partner to airports while knowing when to push back. Responsibilities: Own airport relationships across the Northeast region by serving as Lyft's primary point of contact for airport authorities across the region's states and provinces, adapting your communication style and cadence to each partner's preferences Deliver on airport requirements by coordinating cross-functionally with legal, compliance, product, finance, reporting, and marketing teams, translating airport mandates into internal action and Lyft's capab