Senior Formal Verification Engineer in Canada

About Forma.ai: Forma.ai is a Series B startup that's revolutionizing how sales compensation is designed, managed and optimized. We handle billions in annual managed commissions for market leaders like Edmentum, Stryker, and Autodesk. Our growth has been fuelled by our passion for fundamentally changing and shaping how companies use sales intelligence to drive business strategy. We’re welcoming equally driven individuals who are excited about creating something big! About the Team We build enterprise software that helps organizations optimize sales performance and improve go-to-market agility. Our engineering organization includes multiple product application teams responsible for delivering core customer-facing capabilities. We are seeking Senior Backend Engineers to join our application teams. You’ll work alongside staff, senior, and early-career engineers to design, build, and scale backend systems that power enterprise-grade product workflows. This is an opportunity to work on complex product and data problems while contributing meaningfully to technical decisions, system quality, and team delivery. We are low on meetings and high on accountability. Most of the team is in the EST time zone, with a few located in AST, PST, and Central as well. What you’ll be doing You will play an important role in the continued evolution of our application stack. You will design and build backend capabilities for complex product workflows, contribute to system design discussions, and help ensure our systems remain maintainable, reliable, and scalable as we grow. As a Senior Backend Engineer, you are expected to operate with strong ownership and sound technical judgment. This includes identifying risks in the work you own, surfacing edge cases, asking thoughtful questions, and proposing improvements that strengthen the quality and reliability of the system. You will: Design and build backend services that power complex product workflows. Contribute to d

About Forma.ai: Forma.ai is a Series B startup that's revolutionizing how sales compensation is designed, managed and optimized. We handle billions in annual managed commissions for market leaders like Edmentum, Stryker, and Autodesk. Our growth has been fuelled by our passion for fundamentally changing and shaping how companies use sales intelligence to drive business strategy. We’re welcoming equally driven individuals who are excited about creating something big! The Role As a Senior Solutions Engineer, you will play a critical role at the intersection of data, technology, and customer impact. You will lead the design and delivery of scalable, reliable, and high-impact technical implementations for our enterprise clients. Working with diverse and complex datasets across industries, you’ll build and optimize end-to-end analytics solutions that directly influence how customers engage with the Forma platform. You’ll partner cross-functionally to identify opportunities, scope high-value solutions, and deliver outcomes that drive measurable business impact. This is a highly visible, client-facing role that combines hands-on technical expertise with strategic thinking. What You’ll Do Lead strategic technical engagements with enterprise clients, guiding solution design for complex business challenges using the Forma platform Design, build, and optimize scalable data architectures, pipelines, and workflows (e.g., PySpark, Databricks) Translate business requirements into robust, production-ready data solutions Design and deliver custom code and customer-specific integrations to extend the Forma platform for unique client requirements Partner with Professional Services to extract, transform, and analyze client data to optimize incentive compensation and sales performance strategies Collaborate with Product, Engineering, and Customer Success to deliver high-quality, actionable datasets and insights Drive improvements in data infrastructure, perfor

About Forma.ai: Forma.ai is a Series B startup that's revolutionizing how sales compensation is designed, managed and optimized. We handle billions in annual managed commissions for market leaders like Edmentum, Stryker, and Autodesk. Our growth has been fuelled by our passion for fundamentally changing and shaping how companies use sales intelligence to drive business strategy. We’re welcoming equally driven individuals who are excited about creating something big! About the Team Engineers on this team build our rules-based calculation engine for processing sales commissions. This might sound simple if you have never been exposed to sales compensation plans, it is not. We are low on meetings and high on accountability. Most of the team is in the EST time zone, with a few located in PST and Central as well. We are still evolving many areas of the platform, which means there is meaningful room to improve the design, reliability, and scalability of the systems we build. What you’ll be doing Reporting to the Manager of Data Platform, you will play an important role in the evolution of our Spark-based data platform. You’ll design and build data-rich platform capabilities, contribute to system design discussions, and help ensure our data systems remain reliable, maintainable, and scalable as Forma grows. As a Senior Engineer, Data Platform, you are expected to operate with strong ownership and sound technical judgment. This includes identifying risks in the work you own, surfacing edge cases, asking thoughtful questions, and proposing improvements that strengthen the quality and reliability of the platform. You will: Design, build, and improve Spark-based data pipelines and platform services. Work with complex data models representing sales compensation plans, hierarchies, relationships, and enterprise datasets. Build reliable, deterministic data systems that customers and internal teams can trust. Improve testing, observability, data quality,

About Forma.ai: Forma.ai is a Series B startup that's revolutionizing how sales compensation is designed, managed and optimized. We handle billions in annual managed commissions for market leaders like Edmentum, Stryker, and Autodesk. Our growth has been fuelled by our passion for fundamentally changing and shaping how companies use sales intelligence to drive business strategy. We’re welcoming equally driven individuals who are excited about creating something big! About the team: Engineers on this team build the application our customers and internal teams use to configure, operate, manage, and visualize complex incentive compensation workflows. This role sits within Forma’s ICM Operations platform, spanning areas such as Core Services, Business Intelligence, workflows, automation, APIs, claims management, next-generation reporting, and data exploration capabilities. There are many complex and difficult areas across the product, especially across frontend architecture and user experience, because of high data volumes, wide configurability, complex business logic, and mission-critical operational workflows. The work is not just about building screens; it is about helping users understand, act on, and trust complex compensation data and operational processes. We are low on meetings and high on accountability. Most of the team is in the EST timezone, with some teammates in PST and Central. We are far from maintenance or simple progressive evolution in many areas; there is a lot of room to make a meaningful impact on the overall user experience, product architecture, and frontend design patterns. What you'll be doing: Reporting to the VP of Engineering the Senior Frontend Engineer will play a key role in building, evolving, and scaling Forma’s customer-facing and internal operations experiences. You’ll work closely with product, design, engineering, operations, and leadership partners to deliver intuitive, performant, an

About Forma.ai: Forma.ai is a Series B startup that's revolutionizing how sales compensation is designed, managed and optimized. We handle billions in annual managed commissions for market leaders like Edmentum, Stryker, and Autodesk. Our growth has been fuelled by our passion for fundamentally changing and shaping how companies use sales intelligence to drive business strategy. We’re welcoming equally driven individuals who are excited about creating something big! The Role Forma is hiring a Product Manager to lead key initiatives across our ICM Operations platform , spanning Core Services and Business Intelligence (BI). This includes workflows, automation, APIs, claims management, and next - generation reporting and data capabilities. This role is for someone who can take full ownership of a product area, not just manage a backlog. We’re looking for a strategic product leader who starts with the business problem, understands the user workflow end to end, and partners cross - functionally to define the right solutions. Success in this role requires strong product judgment, a deep understanding of operational processes and user pain points, and the ability to balance strategic thinking with practical execution. What You’ll Do Reporting to the VP of Engineering, you will own a portfolio of platform capabilities end to end. You’ll work closely with engineering, operations, and leadership to identify the most important problems to solve, shape requirements, and prioritize high - imp act investments. We’re looking for someone who brings strong product thinking and operational awareness to help evolve how internal teams and customers interact with mission - critical systems — from approvals and ticketing to policy engines and data exploration. Strong expertise in data visualization and business intelligence tools. This person should be comfortable working with dashboards, with a keen ability to select and articulate the most effective visualiza

About Forma.ai: Forma.ai is a Series B startup that's revolutionizing how sales compensation is designed, managed and optimized. We handle billions in annual managed commissions for market leaders like Edmentum, Stryker, and Autodesk. Our growth has been fuelled by our passion for fundamentally changing and shaping how companies use sales intelligence to drive business strategy. We’re welcoming equally driven individuals who are excited about creating something big! Senior Staff Backend Engineer About the Team We build enterprise software that helps organizations optimize sales performance, enabling go-to-market agility. Our engineering organization includes multiple product application teams responsible for delivering core customer-facing capabilities. We are seeking a Senior Staff Backend Engineer to join our application teams and help set technical direction across multiple domains within engineering. You'll work alongside staff, senior, and early-career engineers, and partner closely with engineering leadership to define, evolve, and scale the systems that power enterprise-grade product workflows. This is an opportunity to own complex, multi-domain technical problems and shape product direction beyond a single team. We are low on meetings, high on accountability. Most of the teams are in the EST time zone, but we have a few located in AST, PST, and Central as well. What you'll be doing You will play a pivotal role in shaping the technical direction of our application stack across multiple domains. You will lead development efforts for our most complex initiatives, the kind that span two or more teams or product areas, and serve as a technical benchmark for system design, code quality, and long-term maintainability. You'll operate at the intersection of data modelling, business logic, and enterprise-scale reliability, and your work will often set standards that neighboring teams adopt. This remains a hands-on

About Forma.ai: Forma.ai is a Series B startup that's revolutionizing how sales compensation is designed, managed and optimized. We handle billions in annual managed commissions for market leaders like Edmentum, Stryker, and Autodesk. Our growth has been fuelled by our passion for fundamentally changing and shaping how companies use sales intelligence to drive business strategy. We’re welcoming equally driven individuals who are excited about creating something big! About the Team: The Customer Operations team works closely with new and existing customers by implementing product features, managing the operational parts of the platform, and optimizing our client’s sales performance management processes. We are always ready to support and help our customers to identify ways they can unleash the revenue-driving potential of their sales compensation program. If you’re passionate about data analytics and want to contribute to sales operations, we’d love to hear from you! What you’ll be doing: Own the day-to-day customer relationship, building strong working relationships with senior client stakeholders across a portfolio of customers Act as an architect for a new customer, translating data inputs and required business logic into Forma rule / system logic, commission engine architecture and outputs Learn design of the company's platform to the extent of being able to independently complete updates, enhancements, and change requests Work with Forma.ai's Product and Engineering teams to articulate customer feedback that informs the priority of new product features and to implement new platform features to support continuous improvement and automation Manage customer expectations regarding deliverables and project timelines, ensuring Forma is positioned for success Develop a deep understanding of each client's strategic positioning, key products, business model, and strategic objectives. Be responsible

About Forma.ai: Forma.ai is a Series B startup that's revolutionizing how sales compensation is designed, managed and optimized. We handle billions in annual managed commissions for market leaders like Edmentum, Stryker, and Autodesk. Our growth has been fuelled by our passion for fundamentally changing and shaping how companies use sales intelligence to drive business strategy. We’re welcoming equally driven individuals who are excited about creating something big! About the Team: The Customer Operations team works closely with new and existing customers by implementing product features, managing the operational parts of the platform, and optimizing our client’s sales performance management processes. We are always ready to support and help our customers to identify ways they can unleash the revenue-driving potential of their sales compensation program. If you’re passionate about data analytics and want to contribute to sales operations, we’d love to hear from you! What you’ll be doing: Own the day-to-day customer relationship, building strong working relationships with senior client stakeholders across a portfolio of customers Act as an architect for a new customer, translating data inputs and required business logic into Forma rule / system logic, commission engine architecture and outputs Learn design of the company's platform to the extent of being able to independently complete updates, enhancements, and change requests Work with Forma.ai's Product and Engineering teams to articulate customer feedback that informs the priority of new product features and to implement new platform features to support continuous improvement and automation Manage customer expectations regarding deliverables and project timelines, ensuring Forma is positioned for success Develop a deep understanding of each client's strategic positioning, key products, business model, and strategic objectives. Be responsible

About Forma.ai: Forma.ai is a Series B startup that's revolutionizing how sales compensation is designed, managed and optimized. We handle billions in annual managed commissions for market leaders like Edmentum, Stryker, and Autodesk. Our growth has been fuelled by our passion for fundamentally changing and shaping how companies use sales intelligence to drive business strategy. We’re welcoming equally driven individuals who are excited about creating something big! About the Team: The Customer Operations team works closely with new and existing customers by implementing product features, managing the operational parts of the platform, and optimizing our client’s sales performance management processes. We are always ready to support and help our customers to identify ways they can unleash the revenue-driving potential of their sales compensation program. If you’re passionate about data analytics and want to contribute to sales operations, we’d love to hear from you! What you’ll be doing: Own the day-to-day customer relationship, building strong working relationships with senior client stakeholders across a portfolio of customers Act as an architect for a new customer, translating data inputs and required business logic into Forma rule / system logic, commission engine architecture and outputs Learn design of the company's platform to the extent of being able to independently complete updates, enhancements, and change requests Work with Forma.ai's Product and Engineering teams to articulate customer feedback that informs the priority of new product features and to implement new platform features to support continuous improvement and automation Manage customer expectations regarding deliverables and project timelines, ensuring Forma is positioned for success Develop a deep understanding of each client's strategic positioning, key products, business model, and strategic objectives. Be responsible

Sr. Content Marketing Manager Location: San Francisco, CA · In-office 4 days/week Team: Strategic Marketing Reports to: Sr. Director, Strategic Marketing About the role Sigma produces a lot of content — blog, video, product launches, thought leadership — and this role is the editorial backbone that makes all of it sharper, faster, and on brand. You'll run the Sigma blog end-to-end, raise the quality bar on everything that ships, and build the systems and internal bench that let us scale content without losing voice or accuracy. This is a senior, hands-on editorial role for someone who edits with both technical judgment and taste. You'll work shoulder-to-shoulder with PMs and engineers to keep content accurate, coach employees and contractors to produce great work, and bring new thinking to how Sigma earns awareness. You'll join an established content team and won't have to do it all yourself — a Content Producer partners with you on publication and operations. This role reports to the Sr. Director of Strategic Marketing, with room to grow into people management as Sigma's content team scales. What you'll own Editorial standards and editing Edit a high volume of blog posts, balancing technical nuance with taste. You're comfortable editing in the data, analytics, apps, or AI space — you don't need to know everything, but you know what you don't know, flag it, and lean on PMs and engineers to keep content accurate and clear. Keep Sigma's content on brand across every channel and format. Reinforce the standards that contribute to great content: Clear positioning, high-quality imagery, and connected messages across multiple content pieces. Blog and AEO operations Run the Sigma blog end to end: calendar, editorial standards, and publication. Manage the AEO content calendar and the relationship with Sigma's AEO contractor, ensuring 5 AEO blogs are edited, SME-reviewed, and published each week. The team's Content Producer supports publication, with you s

Our Purpose Mastercard powers economies and empowers people in 200+ countries and territories worldwide. Together with our customers, we’re helping build a sustainable economy where everyone can prosper. We support a wide range of digital payments choices, making transactions secure, simple, smart and accessible. Our technology and innovation, partnerships and networks combine to deliver a unique set of products and services that help people, businesses and governments realize their greatest potential. Title and Summary Senior Analyst, Customer Performance, Brand-1 Overview Mastercard operates the world’s fastest payment processing network, connecting consumers, financial institutions, merchants, governments, and businesses in more than 210 countries and territories. Every day, everywhere, we use our technology and expertise to make payments safe, simple and smart. We know safety and security are the top priorities of our customers, cardholders and partners, so we won’t stand still in developing new and better ways to keep payments safe. • Do you have experience conducting investigations, reviewing evidence, and documenting case outcomes? • Do you have knowledge of merchant onboarding, monitoring, customer response review, and potential Mastercard Standards violations? • Are you a high performer with strong analytical, documentation, and project management skills? • Are you collaborative, detail-oriented, and able to support credible investigations in a fast-paced environment? Mastercard’s Franchise Brand Performance Team advances ecosystem health and profitability by engaging our customers to optimize performance and to enhance the strength of our brand, acceptance network, and data. Role • Preserve the integrity of the Mastercard brand by conducting investigative case work under the Business Risk Assess

About Us Twitch is the world’s biggest live streaming service, with global communities built around gaming, entertainment, music, sports, cooking, and more. It is where thousands of communities come together for whatever, every day. We’re about community, inside and out. You’ll find coworkers who are eager to team up, collaborate, and smash (or elegantly solve) problems together. We’re on a quest to empower live communities, so if this sounds good to you, see what we’re up to on LinkedIn and X , and discover the projects we’re solving on our Blog . Be sure to explore our Interviewing Guide to learn how to ace our interview process. About the Role Twitch Security Platform builds and operates the technology at the intersection of security, privacy, software engineering, and data engineering. As a Senior Engineering Manager, Security Platform, you will guide a diverse group of software engineers to build critical tools and automation solutions used across Twitch. You will report to the Director of Security, Identity, and Privacy Platforms. You will manage engineers responsible for operating our security data platform handling billions of weekly events, a multi-petabyte data lake, and numerous analysis tools that provide critical data across the organization to support important security programs. You will also lead engineers responsible for writing software to accomplish security at scale through automation, libraries, and services. With this team, you will lead the full software development lifecycle from product discovery, roadmap prioritization, and execution. Programs you support will include Fraud, Service-to-Service Auth, Detection and Incident Response, Vulnerability Management, Engineering Intelligence, and Privacy. You are experienced in software and data engineering, you bring awareness of the industry's cutting edge, and you're passionate about security. If this sounds accurate, come join us! You can work from San Francisc

Secure Every Identity, from AI to Human Identity is the key to unlocking the potential of AI. Okta secures AI by building the trusted, neutral infrastructure that enables organizations to safely embrace this new era. This work requires a relentless drive to solve complex challenges with real-world stakes. We are looking for builders and owners who operate with speed and urgency and execute with excellence. This is an opportunity to do career-defining work. We're all in on this mission. If you are too, let's talk. Senior Engineering Manager, SDET — Okta Identity Governance (OIG) Secure Every Identity, from AI to Human Identity is the key to unlocking the potential of AI. Okta secures AI by building the trusted, neutral infrastructure that enables organizations to safely embrace this new era. This work requires a relentless drive to solve complex challenges with real-world stakes. We are looking for builders and owners who operate with speed and urgency and execute with excellence. This is an opportunity to do career-defining work. We're all in on this mission. If you are too, let's talk. The Okta Identity Governance Team Okta Identity Governance (OIG) is Okta's Identity Governance and Administration solution, responsible for some of the most critical and visible workflows in enterprise identity: how people request access, how approvers grant it, how entitlements are enforced, and how organizations prove to auditors that only the right people have the right access. OIG is the leading contributor to Okta's new product bookings, and it runs inside some of the largest enterprises in the world — the kind of accounts where a single tenant carries hundreds of thousands of identities across thousands of applications. Quality here is a compliance bar, not just a user experience one. When a governance product has a defect, a company can stay over-provisioned on access it believes it revoked, or hand an auditor evidence that isn't true. The Senior Engineering Manager, SDET Oppo

About Snorkel At Snorkel, we believe meaningful AI doesn’t start with the model, it starts with the data. We’re on a mission to help enterprises transform expert knowledge into specialized AI at scale. The AI landscape has gone through incredible changes since 2015, when Snorkel started as a research project in the Stanford AI Lab, to the generative AI breakthroughs of today. But one thing has remained constant: the data you use to build AI is the key to achieving differentiation, high performance, and production-ready systems. We work with some of the world’s largest organizations to empower scientists, engineers, financial experts, product creators, journalists, and more to build custom AI with their data faster than ever before. Excited to help us redefine how AI is built? Apply to be the newest Snorkeler! In September 2026 we raised a $350 million Series E at a $3.5 billion valuation , and we are scaling our engineering and research teams to meet demand. The role Frontier AI data is expensive to make and hard to measure. Every task we deliver is tested against the strongest models, often through many long-running agent rollouts. Your job is to make that process faster, cheaper, and more rigorous with ML and AI You will be one of the early members of ML & Research Engineering at Snorkel. You will study how frontier-grade data is generated and evaluated, form hypotheses, validate them against real production data, and ship the winners at scale. You will shape the discipline's direction, its standards, and the team that grows around it. What you'll work on Efficient agentic evals. Cut the cost of long-horizon agent evaluation with adaptive sampling, statistically grounded early stopping, model cascades, caching, and cheap-first gating. AI model routing. Route every eval and judge call to the cheapest model that clears the quality bar, with fallback, monitoring, and cost attribution. Fine-tuned small models. Fine-tune and serve open-weight models (LoRA and other

Senior Program Manager (Level M) Company: The Boeing Company Boeing’s Defense, Space & Security (BDS) Experimental Systems Group (ESG) team, in Seal Beach , CA is seeking a Senior Program Manager (Level M) with demonstrated strong project management abilities and Agile software development experience to join our dynamic team. ESG is a rich portfolio of state-of-the-art space products, advanced small satellites, and multi-domain technology development efforts. One of our products, the X-37B Orbital Transfer Vehicle, is the world’s first fully autonomous reusable spaceplane. Our team works in a collaborative development environment while delivering new capabilities to customers rapidly and affordably. The selected candidate will serve as the program manager for a proprietary software development project within the Experimental Systems Group (ESG) portfolio. Position Responsibilities: Team Leadership : Manage, develop, and motivate programmatic team. Maintain team organization and staffing plan with clear roles, responsibilities, and authorities. Develop and maintain relationships with customers, suppliers, stakeholders, peers, partners, and management Program Performance – Develop, maintain, track, and update schedules and earned value baselines of program statement of work. Own program contractual responsibilities starting at delivery of incremental capability through sell off and verification. Implement Program Management Best Practices to track and measure performance to plan. Organize independent cost estimates to ensure cost realism, validating assumptions (or risk) for technology maturity, reuse, and/or cost-sharing. Build a dat