Senior Formal Verification Engineer in United States

NVIDIA has been transforming computer graphics, PC gaming, and accelerated computing for more than 25 years. It’s a unique legacy of innovation that’s fueled by great technology—and amazing people. Today, we’re tapping into the unlimited potential of AI to define the next era of computing. An era in which our GPU acts as the brains of computers, robots, and self-driving cars that can understand the world. Doing what’s never been done before takes vision, innovation, and the world’s best talent. As an NVIDIAN, you’ll be immersed in a diverse, supportive environment where everyone is inspired to do their best work. Come join the team and see how you can make a lasting impact on the world. As a Formal Verification Engineer at NVIDIA, you will verify the build and implementation of the industry's leading GPUs. In this position, your responsibilities will be to verify the micro-architecture using formal verification tools, define the verification scope, and ensure correctness. You will employ sophisticated formal techniques to acquire sufficiently bounded proofs while working with architects, designers, and pre- & post-silicon verification teams to accomplish your tasks. You will efficiently complete the formal verification effort for the entire project cycle, delivering high-quality results on schedule, and clearly conveying those results to the team. What you will be doing: Identify key behaviors for verification to write clear testplans for sophisticated designs. Implement testplans using the latest formal techniques, including the development of environment assumptions, assertions, and cover properties. Develop abstraction models to overcome complexity challenges and acquire full proofs, or bounded proofs with sufficient coverage. Drive formal tools to realize their best performance. Debug RTL to identify causes of failure scenarios. Contribute to flow and script development

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

NVIDIA is a leading artificial intelligence computing company, and we are paving the way with innovations in self-driving cars, machine learning, supercomputing, gaming, and visualization. We give automakers, tier-1 suppliers, automotive research institutions, and start-ups the power and flexibility to develop and deploy breakthrough artificial intelligence systems for self-driving vehicles. Our unified computing architecture enables training deep neural networks in the data center, and then seamlessly runs them on NVIDIA DRIVE Platforms inside the vehicle. The Hypervisor and RTOS Team within NVIDIA DRIVE Software plays a critical role in NVIDIA's expansion into the world of artificial intelligence and autonomous vehicles. Our job is to facilitate the sharing and separation of system resources while achieving real-time, safety, and security requirements. We develop Hypervisor and RTOS with a strong focus on automotive quality, safety and security needed for the real-time, highly available system level components of world-class Autonomous Vehicles. We are making extensive use of formal methods to automate our workflow and increase the quality of our SW. We are hiring now for the position of Senior System Software Engineer for Hypervisor and RTOS What you’ll be doing: Design and develop new features for RTOS and hypervisor software stack. Bring up and optimize RTOS and hypervisor stacks on new NVIDIA Tegra SoCs. Develop high-integrity software using best-in-class engineering, safety, and security practices. Debug complex system-level issues across hardware, firmware, RTOS, and virtualization layers. Lead team-wide technical initiatives by building alignment, coordinating execution, and driving them to completion. What we need to see: BS, MS in CS/CE/EE or a related engineering field or equivalent experience </

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

Distinguished Technologist - Principal Architect, Platform Security and Firmware Systems Description - HP is seeking a senior technical leader to serve as a lead architect for hardware rooted Platform Root of Trust for HP's commercial PC platform. In this role, you will be responsible for envisioning, defining, and driving the architecture of hardware, firmware, software, and cloud-integrated security capabilities that protect HP commercial PCs from current and emerging threats. You will also work across the hardware and security architecture teams, collaborate with HP's Security Research Labs, Firmware (BIOS) team, our security business that creates and deploys industry leading enterprise security and manageability solutions, product management, manufacturing, supply chain, customer enablement, and field organizations to create cohesive system solutions that deliver unique customer value. This position requires deep expertise in embedded systems, platform firmware, hardware, security, device manageability, and PC system architecture. The role also requires the ability to translate complex technical capabilities into customer-relevant value propositions and to influence internal and external stakeholders without relying solely on formal authority. Responsibilities Serve as principal architect for HP Endpoint Security Controller roadmap, associated hardware and firmware based capabilities, cryptographic identity, attestation, secure communication, event logging, and future controller generations. Define and evolve HP Sure Start architecture and related firmware resilience capabilities, including hardware-enforced firmware authenticity, recovery, update, and protection mechanisms. Drive secure BIOS and firmware configuration management strategies, including HP Sure Admin ecosystem capabilities, key management, zero-touch provision

We’re building a world of health around every individual — shaping a more connected, convenient and compassionate health experience. At CVS Health®, you’ll be surrounded by passionate colleagues who care deeply, innovate with purpose, hold ourselves accountable and prioritize safety and quality in everything we do. Join us and be part of something bigger – helping to simplify health care one person, one family and one community at a time. The purpose of the Center Medical Director role is to lead the clinical team at their center in providing the best patient care and a great place to work in order to keep patients happy, healthy and out of the hospital. The Medical Director will practice primary care in our clinics alongside their provider colleagues at 80% clinical time and 20% administrative time. The CMD will have mission-critical leadership responsibilities, which include setting an example for how thoughtful primary care is practiced, serving as a formal mentor, coach, and advisor to providers in clinics, and participating in critical organizational-wide strategic initiatives. Core Responsibilities: The Center Medical Director is the medical leader for his/her center. In this role the CMD will have the following responsibilities: Support of Organizational Strategy Work in tight collaboration with the Practice Manager and Outreach Manager/Director to achieve our organizational objectives: Best Care Anywhere Unmatched Patient Experience Exceptional Growth Great Place to Work and Leader in DE&I Drive implementation of strategic initiatives. Follow direction from regional leadership (regional medical director or senior medical director) in collaboration with CMDs in the region to implement regional priorities and reach regional objectives.<br

About the Team OpenAI’s GTM Partnerships team builds a strategic, global partner ecosystem to accelerate customer success, enable responsible enterprise AI adoption, and drive durable growth in support of OpenAI’s mission. We work cross-functionally across Sales, Solutions, Product, Engineering, Security, Legal, Finance, Marketing, Operations, and Customer Success to translate strategic partnerships into measurable outcomes for customers. Global consulting and advisory partners are essential to helping enterprises move from AI strategy to production deployment. PwC brings global reach, deep industry and functional expertise, technology and transformation capabilities, and longstanding relationships with complex and regulated enterprises. This role will lead OpenAI’s global partnership with PwC and create the strategy, operating model, and field motions needed to turn that relationship into repeatable customer and commercial impact. This role is based in San Francisco, New York City, or Seattle. We use a hybrid work model of three days in the office per week. About the Role We are hiring a Partner Director, PwC to serve as the single accountable owner of OpenAI’s strategic relationship with PwC globally. You will define the partnership thesis and joint business plan, build executive alignment, activate PwC’s industry, advisory, technology, sales, and delivery organizations, and develop repeatable go-to-market motions that accelerate enterprise AI adoption. This is a strategic and hands-on leadership role. You will move fluidly between senior executive engagement, joint account and opportunity strategy, solution and delivery alignment, field enablement, governance, and day-to-day execution. Success requires a strong understanding of how a large, matrixed professional-services organization operates, commercial discipline, technical fluency, and the ability to align teams without relying on formal authority. The ideal candidate has led a high-impact global alliance with

About the Team The Consumer Product Marketing team helps people understand how ChatGPT can fit into their lives. We connect customer insight with product strategy and development, working across disciplines to bring meaningful products to people around the world. Our consumer subscriptions work focuses on showing people what they get with a paid ChatGPT plan and helping them decide when upgrading makes sense. About the Role As the Product Marketing Lead, Consumer Subscriptions, you will lead the product marketing strategy for ChatGPT's consumer subscription portfolio, including Go, Plus, and Pro. You will shape how customers discover and adopt paid plans while bringing a clear customer perspective to product and business decisions about how those plans are designed and tiered. You will partner closely with Product, Pricing, and Growth to define each plan's audience, positioning, value proposition, and priority use cases, and bring evidence-backed recommendations to pricing and packaging discussions. You will be accountable for driving paid-plan adoption and will lead work across product launches, plan education, premium positioning, and the customer story on pricing and plan pages across ChatGPT.com and OpenAI.com . This role calls for an individual contributor who can turn customer, market, competitive, and behavioral insights into clear subscription strategies and customer stories. You will guide senior stakeholders through tradeoffs, align partners without formal authority, adapt positioning for global markets, build scalable frameworks, and mentor peers. Success in this role means helping more free users recognize the value of ChatGPT's paid plans and turning that understanding into measurable growth in free-to-paid conversion. 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. In this role, you will: Lead consumer subscription product marketing across ChatGPT's p

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. Build the future of the AI Data Cloud. Join the Snowflake team. Do you want to own one of the most consequential narratives in enterprise data? As AI forces organizations to rethink their architectures, the ability to act on governed data from any engine, any cloud, any format is becoming a foundational requirement. We're looking for a technically fluent, driven PMM to lead Snowflake's Interoperable Lakehouse story across the Apache Iceberg™ and Apache Polaris™ ecosystems, turning a fast-moving technical landscape into sharp positioning that wins in the market. This is a hybrid role requiring 3 days per week in Snowflake’s Menlo Park, CA, OR Bellevue, WA office. WHAT YOU'LL DO: Build and execute a go-to-market strategy and innovative programs that position the Snowflake platform as the leading Lakehouse, with interoperability at the core of our offerings. Create crisp and compelling messaging, content, sales enablement, and more to be used by Snowflake marketing and sales teams, as well as partner teams Drive Snowflake's go-to-market narrative across the Apache Iceberg™ and Polaris™ open source ecosystems alongside our community team, including developer and community audiences Collaborate cross-functionally with other PMM teams, demand generation, content marketing, sales,

We’re building a world of health around every individual — shaping a more connected, convenient and compassionate health experience. At CVS Health®, you’ll be surrounded by passionate colleagues who care deeply, innovate with purpose, hold ourselves accountable and prioritize safety and quality in everything we do. Join us and be part of something bigger – helping to simplify health care one person, one family and one community at a time. Position Summary Review and adjust SF (self-funded), FI (fully insured), Reinsurance, and/or RX claims; adjudicates complex, sensitive, and/or specialized claims in accordance with claim processing guidelines. Process provider refunds and returned checks. May handle customer service inquiries and problems. Perform adjustments across all dollar amount level on customer service platforms by using technical and claims processing expertise. Applies medical necessity guidelines, determine coverage, complete eligibility verification, identify discrepancies, and apply all cost containment measures to assist in the claim adjudication process. Performs claim re-work calculations. Follow through completion of claim overpayments, underpayments, and any other irregularities. Process complex non-routine Provider Refunds and Returned Checks. Review and interpret medical contract language using provider contracts to confirm whether a claim is overpaid to allocate refund checks. Handle telephone and written inquiries related to requests for pre-approvals/pre-authorizations, reconsiderations, or appeals. Ensures all compliance requirements are satisfied and that all payments are made following company practices and procedures. Review and handle relevant correspondences assigned to the team that may result in adj

We’re building a world of health around every individual — shaping a more connected, convenient and compassionate health experience. At CVS Health®, you’ll be surrounded by passionate colleagues who care deeply, innovate with purpose, hold ourselves accountable and prioritize safety and quality in everything we do. Join us and be part of something bigger – helping to simplify health care one person, one family and one community at a time. Position Summary As a Senior Data Insights Specialist, you will be responsible for using SQL, MS Excel, Dataiku, Python, and related applications to determine disruption to existing and potential clients when network changes take place to retain and win business. This position involves making high-level decisions, managing multiple requests/priorities, developing new solutions to simplify the reporting process, and producing both standard and custom reports for multiple lines of business and specific clients regarding retail pharmacy network accessibility. Required Qualifications Experience in SQL, Microsoft Excel, and other relevant applications. Experience with data cleaning, transformation, and/or ETL. Strong analytical and problem-solving skills with the ability to interpret complex data sets. Preferred Qualifications 2&#43; years' of professional analytical experience. Proficiency in Dataiku, Alteryx, or other related ETL applications. Experience with Python. Experience with Salesforce. Working experience in the Pharmacy Benefits Management (PBM) or related healthcare industry. Excellent verbal and written communication skills to effectively interact with internal teams and external clients. Ability to manage multiple requests and priorities in a fast-paced environment.</li

We’re building a world of health around every individual — shaping a more connected, convenient and compassionate health experience. At CVS Health®, you’ll be surrounded by passionate colleagues who care deeply, innovate with purpose, hold ourselves accountable and prioritize safety and quality in everything we do. Join us and be part of something bigger – helping to simplify health care one person, one family and one community at a time. Position Summary We are hiring a Senior Full Stack Software Development Engineer with strong React and Python (with .NET as a nice-to-have) experience to join our Data Engineering team. You will serve as a key senior contributor, driving the end-to-end development of a new, critical internal self-service application. Your work on this software solution will be instrumental in our initiative to modernize how data is accessed and managed, enabling teams across the company to more easily work with their own data through the user-friendly tools you build. This project involves a shift from traditional data handling processes, with your primary focus being on creating a robust application that empowers this new approach to data accessibility and decentralized ownership. About this Role: This is a high-impact, high-autonomy role suited for a detail-oriented and collaborative individual who thrives on ownership, knows how to apply best practices, and can independently design, build, and maintain production-grade software. While you'll be leveraging your core software engineering expertise, you'll also be at the forefront of our data modernization, gaining deep insights into modern data architectures and practices by building the tools that enable them. You will have access to AI tooling to assist in all aspects of the SDLC. Y

We’re building a world of health around every individual — shaping a more connected, convenient and compassionate health experience. At CVS Health®, you’ll be surrounded by passionate colleagues who care deeply, innovate with purpose, hold ourselves accountable and prioritize safety and quality in everything we do. Join us and be part of something bigger – helping to simplify health care one person, one family and one community at a time. Position Summary We are hiring a Senior Product Manager to help lead our Caremark advocacy portfolio, a new, high-priority initiative that sits within an established, well-resourced team. This role will drive the continued development and expansion of Pharmacy Navigator, which is currently in its pilot phase. Pharmacy Navigator offers proactive outreach to Caremark PBM members at potential friction points in their healthcare journey. The role will work on a variety of high-visibility priorities, including feature development, developing client and internal reporting, and expansion of the product into new markets. What you will do: Analyze customer and member needs, pain points, and preferences to guide product development and ensure customer-and-member-centric solutions. Partner with Caremark operations, clinical, and technology teams to define the product vision, set strategic goals, evaluate opportunities, assess member and business impact, and develop business cases and recommendations for scaling the product. Identify opportunities to expand Pharmacy Navigator, including new member pain points, therapeutic areas, formulary and prior authorization transitions, and new lines of business. Identify existing technologies across the organization and determine how they can be leveraged in new product builds. Lead discovery and solutioning effor

We’re building a world of health around every individual — shaping a more connected, convenient and compassionate health experience. At CVS Health®, you’ll be surrounded by passionate colleagues who care deeply, innovate with purpose, hold ourselves accountable and prioritize safety and quality in everything we do. Join us and be part of something bigger – helping to simplify health care one person, one family and one community at a time. Position Summary The Senior Data Engineer will be responsible for delivering high quality modern data solutions through collaboration with our engineering, analysts, data scientist, and product teams in a fast-paced, agile environment leveraging cutting-edge technology to reimagine how Healthcare is provided. You will be instrumental in designing, integrating, and implementing solutions on-premise as well supporting migrations of existing workloads to the cloud. The Senior Data Engineer is expected to have extensive knowledge of modern programming languages, designing and developing data solutions. The position is open in a data engineering team that is responsible for processing payer files into our Data Warehouse. Required Qualifications 6&#43; years of experience working with SQL and relational database management systems 3&#43; years of experience in Cloud Data Engineering Platforms such as AWS, GCP, Azure, Databricks, Snowflake etc. 3&#43; years of experience in on-prem Data Engineering Platforms such as Microsoft SQL Server, Oracle, Teradata etc. Programming and modifying code in languages like SQL, Python, and PySpark to support and implement Cloud based and on-prem data warehousing services.</spa