System Verification Co Design Engineer Jobs

Who we are About Stripe Stripe is a financial infrastructure platform for businesses. Millions of companies—from the world's largest enterprises to the most ambitious startups—use Stripe to accept payments, grow their revenue, and accelerate new business opportunities. Our mission is to increase the GDP of the internet, and we have a staggering amount of work ahead. That means you have an unprecedented opportunity to put the global economy within everyone's reach while doing the most important work of your career. About the team The Billing Configuration team enables extensibility of all Billing concepts and owns the core infrastructure needed to manage configuration changes over time and custom billing logic use cases. What you'll do As the engineering manager for Billing Configuration, you’ll own the operational and technical direction of the platforms that let Stripe users and internal teams model, customize, and evolve how billing works. You’ll lead the team building the foundational configuration layer for Stripe Billing, enabling flexible products, pricing, eligibility, entitlements, and billing behavior. This team enables complex custom use cases and configuration changes over time. You’ll shape the team as it expands to support increasingly sophisticated use cases, working closely with internal and external customers to build reliable, extensible systems that make Stripe Billing adaptable to the real world. Responsibilities Lead a team responsible for the core architecture needed to enable billing configuration complexity and extensibility Own the technical strategy and roadmap for billing configuration Drive operational excellence across billing infrastructure systems Hire and develop engineers as the team expands into new scope Partner with stakeholders across organizations to deliver billing solutions Work backwards from internal and external customer needs to define priorities and scope Define and uphold engineering standards across a team owning busines

About the Team OpenAI’s User Operations team ensures that our customers’ experience is nothing short of exceptional. We resolve complex issues, provide guidance, and support customers in maximizing value with our products. Within User Operations, Ads Safety Operations helps OpenAI grow advertising in a way that is safe, trusted, and sustainable for advertisers, users and the business. The Ads Safety Support team sits within Ads Safety Operations and owns the advertiser-facing support journey: helping advertisers navigate ads products, policies, reviews, and enforcement decisions while turning frontline insights into better guidance, tooling, and product experiences. About the Role We’re looking for a Senior Advertiser Support Specialist to help build and scale advertiser support within Ads Safety Operations. You’ll work directly with advertisers through support tickets, escalations, owning high-impact questions related to ads policies, review outcomes, product behavior, and operational processes. Many cases will be novel or ambiguous, and you’ll be expected to investigate carefully, communicate clearly, and drive them to resolution in a fast-moving product environment. As OpenAI’s advertising ecosystem grows, your work will help advertisers operate successfully at scale while serving as a critical bridge between frontline support and the teams responsible for product quality, policy integrity, and platform safety. Beyond resolving individual cases, you’ll help define what world-class support looks like in an AI-native environment. You’ll turn support interactions into operational intelligence, identifying recurring friction, gaps in guidance, and emerging issues to improve support at scale, and protect the quality and safety of OpenAI’s ad ecosystem. You’ll partner closely with Engineering, Product, Policy, Legal and Go To Market partners to improve systems, reduce bugs, and elevate the customer experience, while leveraging automation, agents, and our own AI technol

About the Team OpenAI’s mission is to ensure that general-purpose artificial intelligence benefits all of humanity. Our Communications team includes External Communications, Internal Communications, and other strategic communications functions. This team’s ethos is to support OpenAI’s mission and goals by clearly and authentically explaining our technology, values, and approach to safely building powerful AI. About the Role We’re looking for a senior communications leader to shape how OpenAI communicates about cybersecurity. This person will define the global narrative, lead communications for major product, research, and business milestones, and build sustained programs that explain how OpenAI is helping advance cyber defense while managing the risks created by increasingly capable models. The role will connect OpenAI’s work across cybersecurity products and capabilities, responsible deployment, threat intelligence, enterprise security, research, and public policy. You will work closely with Security, Product, Research, Preparedness, Safety, Global Affairs, Go-to-Market, Legal, and Marketing to anticipate opportunities and risks, develop coordinated communications, and build trust with security practitioners, customers, policymakers, and the public. This is both a strategic and hands-on role. The right person will be comfortable defining a long-term communications strategy, building the systems and relationships needed to execute it, and personally leading through major launches, technical disclosures, and fast-moving issues. This role reports to the Head of Communications, Business and is based in San Francisco, CA. We use a hybrid work model of 3 days per week in the office and offer relocation assistance. In this role, you will: Define and lead communications strategy for OpenAI’s cybersecurity work, from global narrative development through launches, research, threat reporting, and sustained storytelling. Build a clear, differentiated story about how OpenAI can

About the Team The Astral team builds high-performance developer tools to power the future of programming, at OpenAI and beyond, including Ruff, uv, and ty. The Astral toolchain sees hundreds of millions of installs per month and powers hundreds of millions of package downloads per day for the Python ecosystem. As a team, we are building on those foundations to continue solving impactful tooling problems as programming evolves. About the Role We are looking for an experienced software engineer to build next-generation programming language tooling. If you like writing high-performance Rust, it could be a good fit; if you like thinking about the future of programming, it could also be a good fit. Strong candidates tend to have deep experience with Rust, Python, open source, compilers, or developer tools — but few candidates are deep in all of these areas, and we've hired candidates without prior Rust or Python experience. In this role, you will: Design and implement features in Astral’s existing open source projects (Ruff, uv, ty, and python-build-standalone, and more). Support Astral’s open source projects as a maintainer, triaging user issues, reviewing pull requests, and participating in community discussions. Evolve the Astral toolchain to accelerate development velocity at OpenAI. Build entirely new tools, in entirely different programming ecosystems, to power the future of agentic software development. Your background might look something like: 5+ years of professional engineering experience, excluding internships, in relevant engineering roles. High agency and comfort operating in a fast-moving environment, with strong ownership of security, reliability, and operational excellence. Strong developer empathy and communication skills, including experience maintaining open source projects. Exceptional systems engineering fundamentals and a track record of leading complex projects from ambiguous problem statements through to user impact. Proficiency in one or more s

We believe that the way people interact with their finances will drastically improve in the next few years. We’re dedicated to empowering this transformation by building the tools and experiences that thousands of developers use to create their own products. Plaid powers the tools millions of people rely on to live a healthier financial life. We work with thousands of companies like Venmo, SoFi, several of the Fortune 500, and many of the largest banks to make it easy for people to connect their financial accounts to the apps and services they want to use. Plaid’s network covers 12,000 financial institutions across the US, Canada, UK and Europe. Founded in 2013, the company is headquartered in San Francisco with offices in New York, Seattle, Washington D.C., Raleigh, London, and Amsterdam. Senior Data Scientist - Network Value (Credit) The Network Value Data Science team is helping Plaid build an industry-leading fintech consumer network with best-in-class products and user experiences. We are a product analytics team embedded in key product areas across Plaid. We support some of Plaid’s most important OKRs and help execute on product roadmaps. We translate ambiguous product questions into tractable analysis, serve as analytical thought partners throughout the org, identify opportunities to build better products, and champion a data-first decision-making approach everywhere we go. You’ll be a Data Scientist supporting Credit, a critical product area within Plaid’s Network Value portfolio. You’ll become a data and analytical thought partner to product managers, engineers, and cross-functional stakeholders, helping shape Credit product strategy, improve product performance and user experience, and grow Plaid’s consumer network. You’ll translate business questions into analytics projects, perform ad-hoc and strategic analysis, improve visibility into core systems through data modeling and dashboarding, create OKRs and KPIs tied to business goals and user experiences, a

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 Bikes & Scooters team is developing the future of micro-mobility and we are looking for a solid, experienced Software Engineer to join our Stations Software Platform team to work on helping us transition our customers to our latest generation platform and to make the platform evolve in a solution that can be brought to multiple different markets and business models. Technical interviews and interactions with the other offices in the company will be in English; however, the working environment in Montreal is bilingual. Responsibilities: Help define the roadmap and architecture based on technology and business needs Write well-crafted, well-tested, readable, maintainable code Have a good grasp and ability to explain the various tradeoffs made in decisions Participate in code reviews to ensure code quality and distribute knowledge Lead projects from idea to positive execution Incorporate considerations for business context and failure modes in your work Proactively participate in resolving ongoing incidents Unblock, support, effectively communicate and obtain buy-in across teams to achieve results Share your knowledge by giving brown bags, tech talks, and evangelizing appropriate tech and engineering best practices Experience: BSc/MSc in Computer Engineering, Computer Science, related field or relevant work experience 5+ years of software engineering industry experience Experience with object-oriented programming Experience in distributed systems Experience with Java and/or Python, familiarity with Scala is a plus Experience working with databases, relational or NoSQL Experience writing clear, scalable and clear design documentation Experience designing, building and improving a set of team owned components Must have a track record of professional excellence Benefits: Extend

Location Details: United States, Remote At GoDaddy the future of work looks different for each team. Some teams work in the office full-time; others have a hybrid arrangement (they work remotely some days and in the office some days) and some work entirely remotely. This is a remote position, so you’ll be working remotely from your home. You may occasionally visit a GoDaddy office to meet with your team for events or meetings. This position is not eligible to be performed in Alaska, Mississippi, North Dakota, or the Virgin Islands. Join our team At GoDaddy, we are seeking an exceptional Principal Compliance Engineer - PKI with deep technical expertise to define requirements and guide the evolution of our Certificate Authority (CA) platform. Reporting to GoDaddy's Vice President Engineering Partners, you will translate industry standards into technical requirements, define specifications for compliance automation, and provide technical guidance for next-generation cryptographic systems. This role combines technical leadership with strategic requirements development, focusing on post-quantum cryptography readiness, certificate lifecycle automation, and CA infrastructure resilience. What you'll get to do... Technical Standards & Requirements Leadership Actively participate in standards bodies such as the IETF, representing GoDaddy in working groups for TLS and related SSL standards CA Infrastructure & Systems Requirements Conduct deep-dive technical assessments of CA infrastructure, identifying architectural gaps, security vulnerabilities, and performance bottlenecks Define technical requirements for the evolution of certificate issuance pipelines, HSM integrations, and cryptographic key management systems Specify requirements for automated testing frameworks for compliance validation, including CT

Dans le présent document, les termes employés pour désigner des personnes sont pris au sens générique; ils ont à la fois valeur d’un féminin et d’un masculin. Chez Lyft, notre mission est de servir et de connecter. Nous y parvenons en favorisant un environnement de travail où chacun trouve sa place et a la possibilité de s'épanouir. Lyft a d'abord vu le jour à San Francisco en tant que réseau de covoiturage qui s'appuyait sur les dons. Maintenant Lyft facilite le transport de millions de personnes chaque jour dans plus de 200 villes. Nous évoluons vers un monde où le transport sur demande est une alternative viable à la possession d'un véhicule et nous avons besoin de l'aide de gens visionnaires et perspicaces pour y arriver. Notre équipe est reconnue pour l'élaboration de fonctionnalités riches et créatives qui établissent la norme pour l'industrie du covoiturage, du vélopartage et des trottinettes en libre-service. Nous innovons constamment et intégrons des technologies de pointe pour améliorer la vie dans communautés. Notre bureau de Montréal a mis sur pied le premier système automatisé de vélopartage en Amérique, un système qui a depuis été déployé dans bon nombre de villes partout dans le monde (Londres, Montréal, New York et San Francisco, pour n'en nommer que quelques-unes). Ce sont aussi certains des plus importants systèmes de vélopartage au monde! L'équipe « Vélos et trottinettes » de Lyft s'active à développer le futur de la micromobilité et est à la recherche d'un ingénieur logiciel expérimenté et fiable pour se joindre à notre équipe responsable de la plateforme logicielle des stations, afin de nous aider à migrer nos clients sur notre plus récente plateforme et contribuer à l'évolution celle-ci vers une solution qui pourra être utilisée dans différents marchés et être adaptée à divers modèles d'entreprises. Les entrevues et interactions techniques avec les autres bureaux de l'entreprise se feront en anglais, mais l'environnement de travail à Mont

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 . Coinbase stores a large amount of digital currency making us a top tier target on the internet. Security is core to our mission and has been a key competitive differentiator for us as we scale. Security Platform Engineering ( SPE ) team is building platform capabilities for a variety of security use cases critical for security, compliance and privacy at Coinbase. Some of the key functional areas we are developing capabilities for are secrets and key management, identity access and management, onchain security, policy and risk management, vulnerabilities management enabling our product, compliance, security and services teams to protect Coinbase and our customers. What you’ll do: Architect and develop platform for security platform engineering org Provide technical structure to teams and work closely with management and stakeholders to define strategic roadmaps Build new services to meet critical product and business needs using Golang / Java Design scalable systems to solve novel problems with modern cloud technology and industry best practices. Manage individual projects priorities, deadlines and deliverables with your technical expertise Mentor and train other team members on design techniques and coding standards Articulate a long term vision for maintaining and scaling our backend systems and the teams running them. Work with engineers, designers, product m

Location Details: At GoDaddy the future of work looks different for each team. Some teams work in the office full-time; others have a hybrid arrangement (they work remotely some days and in the office some days) and some work entirely remotely.​ This position may be a hybrid or fully remote position, as decided by your manager. If designated as hybrid, you’ll divide your time between working remotely from your home and an office location, so you should live within commuting distance. If designated as remote, you’ll be working remotely from your home and may occasionally visit a GoDaddy office to meet with your team for events or meetings. Your hiring manager can share more about this role’s hybrid or remote designation. This position is not eligible to be performed in Alaska, Mississippi, North Dakota, or the Virgin Islands. GoDaddy is not currently considering candidates for this role in California, Seattle, or NYC. Join Our Team Join a team powering secure, scalable email services for millions of customers worldwide! As part of GoDaddy's Professional Email team, you'll solve complex challenges in distributed systems, cloud infrastructure, security, and AI while modernizing critical platforms that businesses rely on every day. If you enjoy owning impactful systems, working across a diverse technology stack, and building innovative solutions at scale, you'll feel right at home here. What you'll get to do... Design, build, and maintain highly available, scalable APIs and services used by millions of customers Deploy, manage, and optimize cloud infrastructure in AWS Architect and implement modern solutions that improve performance, reliability, and security Leverage AI technologies to enhance development workflows and create innovative customer experiences Monitor, troubleshoot, and resolve complex production issues using modern observability and monitoring tools Drive continuous improvement through automation, modernization, and operational excellence C

The Applied AI team designs and builds algorithmically driven features in the Datadog app. We work across a range of applications, primarily focusing on analysis on streaming data such as anomaly detection, error outliers and faulty deployment analysis. As an Applied Scientist you will work on building models and algorithms for machine learning powered features within the Datadog platform. You will work closely with our engineering and product partners to explore, build, scale and deliver these features that we incubate within the Applied AI team. At Datadog, we place value in our office culture - the relationships that it builds, the creativity it brings to the table, and the collaboration of being together. We operate as a hybrid workplace to ensure our employees can create a work-life harmony that best fits them. What You’ll Do: Design solutions for our different use cases. You will research and benchmark relevant algorithms to find the best fit for our use-cases Leverage machine learning algorithms and statistical techniques to build new scalable product features Develop, deploy and monitor new and existing features to production Participate in our journal club by reading and presenting the latest academic research papers to the team Explore, analyze and tell the story behind high volumes of data flowing through Datadog systems Maintain and monitor the models, services and infrastructure owned by your team Participate in your team’s on-call rotation Who You Are: You have a BS/MS/PhD in a Computer Science, Engineering, Machine Learning or related scientific field or equivalent experience You have experience working with high-scale systems and datasets including building models, applying machine learning to real business problems, and writing production data pipelines You can explain complex ideas and algorithms to non-technical audiences You care about code simplicity and performa

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 . Coinbase Tokenized Equities give eligible non-US users a simple way to buy tokens backed 1:1 by US stocks and ETFs — no brokerage account needed. The tokens are issued out of Abu Dhabi Global Market (ADGM), a regulated financial center overseen by the FSRA, and trade 24/7 onchain. We're hiring an Accounting Manager to be the finance lead for this product. This is a senior individual contributor role for someone who likes to build. You'll own the accounting and reporting model from the ground up — accounting policy, regulatory and legal entity reporting, controls, GL operations, and finance systems — coordinating across Tax, Treasury, FP&A, and controllership, as well as external auditors and regulators. If you like solving hard problems and building from scratch, this role is for you. What You'll Do Build the accounting model from the ground up — covering token issuance and redemption, asset tracking, intercompany flows, and the close process Own regulatory compliance and reporting to the FSRA for this business. This includes liaising with the regulator to ensure a consistent understand of the rules, building a robust, efficient and well controlled reporting process and remaining responsive ad hoc queries Partner with Product, Engineering, Legal, Tax, Compliance, Treasury, FP&A, and Finance Data so new flows are accurate, controlled, and scalable Sign of

Our mission and customers: We are creating the freedom for SMEs to succeed by delivering Europe's leading finance workspace with banking at its core, augmented by financial tools. We are proud to be rated 4.8 on Trustpilot, based on 55,000+ reviews. Our culture puts customer satisfaction at the core of what we do, as proven by our Net Promoter Score of 75 (more about our culture here). Our journey: Founded in 2017 by Alexandre and Steve, Qonto has grown to 1,600+ Qontoers serving over 600,000+ customers across 8 European countries. We have been profitable since 2023, and we are just getting started. Our beliefs: We hire for skills and potential. With 80+ nationalities, 45% women, of which 56% of women in our leadership team, diversity isn't a program; It's who we are. We've built a discrimination-free hiring process because the best teams are built on merit. AI at Qonto: AI is deeply embedded in how we work (here) - Every Qontoer gets unlimited access to the best AI tools. We want people who experiment without waiting for permission, push AI beyond the obvious, know when to trust it, and when to question it. ------------------------------------------------------------------------------------------------------ Join us as Principal Backend Engineer in the Foundations domain and help scale the critical systems that power Qonto's 600,000+ customers — before they become bottlenecks. You'll drive company-wide backend initiatives spanning transactions, search, monetization, permissions, and integrations. ➡️ What you'll do Anticipate and solve scale challenges before they hit: You'll map technical risks across Foundations' core systems — ~600k daily transactions approaching 1B total, search indexing, billing — and drive the architectural work that keeps Qonto's growth ahead of its infrastructure. Lead broad, high-stakes technical initiatives: You'll own end-to-end programs spanning multiple teams, touching Legal, Risk, Compliance, and leadership, with real business conseq

About the Team OpenAI’s User Operations team ensures that our customers' experience is nothing short of exceptional. We resolve complex issues, provide guidance, and support customers in maximizing value with our products. Within User Operations, Ads Safety Operations helps OpenAI grow advertising in a way that is safe, trusted, and sustainable for advertisers, users and the business. The Ads Safety Support team sits within Ads Safety Operations and owns the advertiser-facing support journey: helping advertisers navigate ads products, policies, reviews, and enforcement decisions while turning frontline insights into better guidance, tooling, and product experiences. About the Role We’re looking for a Senior Advertiser Support Specialist to help build and scale advertiser support within Ads Safety Operations. You’ll work directly with advertisers through support tickets, escalations, owning high-impact questions related to ads policies, review outcomes, product behavior, and operational processes. Many cases will be novel or ambiguous, and you’ll be expected to investigate carefully, communicate clearly, and drive them to resolution in a fast-moving product environment. As OpenAI’s advertising ecosystem grows, your work will help advertisers operate successfully at scale while serving as a critical bridge between frontline support and the teams responsible for product quality, policy integrity, and platform safety. Beyond resolving individual cases, you’ll help define what world-class support looks like in an AI-native environment. You’ll turn support interactions into operational intelligence, identifying recurring friction, gaps in guidance, and emerging issues to improve support at scale, and protect the quality and safety of OpenAI’s ad ecosystem. You’ll partner closely with Engineering, Product, Policy, Legal and Go To Market partners to improve systems, reduce bugs, and elevate the customer experience, while leveraging automation, agents, and our own AI technol

Employee Applicant Privacy Notice Who we are: Shape a brighter financial future with us. Together with our members, we’re changing the way people think about and interact with personal finance. We’re a next-generation financial services company and national bank using innovative, mobile-first technology to help our millions of members reach their goals. The industry is going through an unprecedented transformation, and we’re at the forefront. We’re proud to come to work every day knowing that what we do has a direct impact on people’s lives, with our core values guiding us every step of the way. Join us to invest in yourself, your career, and the financial world. The role: The Composer by SoFi Segment Manager plays a key role in operating, scaling, and evolving the Composer business. This individual will own critical workstreams spanning trading and brokerage operations, process design, member servicing, risk and controls, and strategic initiatives. The role will partner closely with Product, Engineering, Operations, and Compliance to translate business needs into scalable operating solutions. The ideal candidate combines strong brokerage expertise with structured problem-solving, sound judgment, and the ability to independently drive complex initiatives from problem identification through implementation. What you'll do: Own and support critical Composer business operations, including trading, brokerage servicing, account operations, and complex operational escalations. Serve as a subject matter expert across Composer's operating model, including key brokerage workflows, systems, dependencies, and controls. Design and continuously improve end-to-end member journeys across key Composer experiences, identifying friction points and ensuring scalable servicing solutions. Serve as an escalation point for complex or high-impact member issues, driving resolution and translating learnings into broader process improvements. Partner across the business to identify oper