Remote Formal Verification Engineer Jobs in Utah

Circle (NYSE: CRCL) is one of the world's leading internet financial platform companies, building the foundation of a more open, global economy through digital assets, payment applications, and programmable blockchain infrastructure. Circle's platform includes the world's largest regulated stablecoin network anchored by USDC, Circle Payments Network for global money movement, and Arc, an enterprise-grade blockchain designed to become the Economic OS for the internet. Enterprises, financial institutions, and developers use Circle to power trusted, internet-scale financial innovation. Learn more at circle.com.

What you'll be part of:

Circle is committed to visibility and stability in everything we do. As we grow as an organization, we're expanding into some of the world's strongest jurisdictions. Speed and efficiency are motivators for our success and our employees live by our company values: High Integrity, Future Forward, Multistakeholder, Mindful, and Driven by Excellence. We have built a flexible work environment where new ideas are encouraged and everyone is a stakeholder.

What you'll be responsible for:

In this role, you'll act as the primary builder for Marketing's AI transformation by designing, developing, and deploying AI-powered solutions that reshape how marketing work gets done. You will partner cross-functionally to identify opportunities and reimagine workflows, with a core focus on translating those insights into working systems-building automations, integrating tools, and shipping scalable AI solutions. This is a highly hands-on, technical role where you will spend the majority of your time building and deploying systems. It's ideal for someone who enjoys coding, experimenting, and rapidly turning ideas into production-ready solutions while owning projects end-to-end.

What you'll work on:

• Design, build, and deploy AI-powered workflows that fundamentally improve how marketing work is executed

• Reimagine and redesign existing marketing processes using AI to increase speed, quality, and scalability

• Write and maintain code (e.g., Python, JavaScript) to integrate AI models, APIs, and internal marketing systems

• Develop scalable solutions leveraging tools like Codex, Claude, and n8n

• Prototype and iterate on generative AI use cases (prompt engineering, chaining, evaluation, and optimization)

• Own end-to-end implementation of AI solutions, from concept through production, including testing, deployment, and monitoring

• Partner with cross-functional teams to identify high-impact opportunities and translate them into technical solutions

What you'll bring to Circle:

Core Requirements:

• 7+ years of experience in marketing operations, GTM systems, business systems, or similar technical roles, with hands-on experience building and scaling operational systems

• Demonstrated experience designing and deploying AI-powered solutions using models such as OpenAI (GPT, Codex), Anthropic (Claude), or similar

• Strong coding ability in Python, JavaScript, or similar languages, with experience building production systems

• Hands-on experience integrating APIs and building automation workflows across multiple systems (e.g., HubSpot, Salesforce) and connecting data across tools

• Ability to rethink and redesign workflows, not just optimize existing processes

• Ability to independently scope, build, and deliver technical solutions in ambiguous environments

Preferred Requirements:

• Experience working with emerging AI agents and systems (e.g., Claude Code, Codex agents, Cowork-style tools) to automate multi-step workflows

• Familiarity with prompt systems, evaluation frameworks, and multi-step AI workflows

• Strong product or systems thinking with a focus on how tools change the way teams operate

Circle is on a mission to create an inclusive financial future, with transparency at our core. We consider a wide variety of elements when crafting our compensation ranges and total compensation packages.

Starting pay is determined by various factors, including but not limited to: relevant experience, skill set, qualifications, and other business and organizational needs. Please note that compensation ranges may differ for candidates in other locations.

We are an equal opportunity employer. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, age, marital status, veteran status, or disability status, or any other protected status required by the laws in the locations where we hire. Additionally, Circle participates in the E-Verify Program in certain locations, as required by law.

Should you require accommodations or assistance in our interview process because of a disability, please reach out toaccommodations@circle.comfor support. We respect your privacy and will connect with you separately from our interview process to accommodate your needs.

#LI-Remote