Apply formal verification to real customer systems, helping formalize specifications, build and check proofs, and improve tooling for Argo to reason about complex architectures and code at scale.
Compensation
The salary for this position is estimated to be $100,000 to $150,000 per year, prorated for the duration of the internship.
Responsibilities
Support forward deployed engineers in deploying and configuring Argo for customers across cloud, on-prem, or hybrid environments.
Help translate customer system data and architecture artifacts into schemas and models that formal methods tools (SMT and SAT solvers, theorem provers) can reason about.
Prototype and evaluate LLM-powered workflows, including prompt design and tool calling, that connect customer data to automated reasoning.
Build and test front-end features and internal tools that make system models, constraints, and verification results understandable and actionable for customers.
Turn what you learn from customer engagements into documentation, product feedback, and contributions to Atalanta’s forward deployment playbook.
Requirements
Bachelor’s program in computer science, software engineering, mathematics, or a related field
Master’s program in computer science, software engineering, mathematics, or a related field
PhD program in computer science, software engineering, mathematics, or a related field
Work alongside forward deployed engineers and applied mathematicians to bring Argo into customer environments and help users apply formal methods to their own systems. This role combines technical skill, user empathy, and clear communication to support missions that matter.
Compensation
The salary for this position is estimated to be $100,000 to $150,000 per year, prorated for the duration of the internship.
Responsibilities
Support forward deployed engineers in deploying and configuring Argo for customers across cloud, on-prem, or hybrid environments
Help translate customer system data and architecture artifacts into schemas and models that formal methods tools (SMT and SAT solvers, theorem provers) can reason about
Prototype and evaluate LLM-powered workflows, including prompt design and tool calling, that connect customer data to automated reasoning
Build and test front-end features and internal tools that make system models, constraints, and verification results understandable and actionable for customers
Turn what you learn from customer engagements into documentation, product feedback, and contributions to Atalanta’s forward deployment playbook
Requirements
Bachelor’s program in computer science, software engineering, mathematics, or a related field
Master’s program in computer science, software engineering, mathematics, or a related field
PhD program in computer science, software engineering, mathematics, or a related field
We are seeking a Phlebotomist to join our team. In this role, you will collect blood, tissue, and fluid samples from patients. This is a role that can make a significant impact on people's lives, helping them identify underlying conditions and stay healthy.
Compensation
$30-$40 per draw
Responsibilities
Prioritize requests for sample collection based on urgency
Collect patients' personal information
Determine the correct venipuncture method for each patient
Provide patients with reassurance during the collection process
Use sterilized needles, vials, and other equipment to draw blood
We are seeking a Phlebotomist to join our team. In this role, you will collect blood, tissue, and fluid samples from patients. This is a role that can make a significant impact on people's lives, helping them identify underlying conditions and stay healthy.
Compensation
$30-$40 per draw
Responsibilities
Prioritize requests for sample collection based on urgency
Collect patients' personal information
Determine the correct venipuncture method for each patient
Provide patients with reassurance during the collection process
Use sterilized needles, vials, and other equipment to draw blood
We are seeking a Phlebotomist to join our team. In this role, you will collect blood, tissue, and fluid samples from patients. This is a role that can make a significant impact on people's lives, helping them identify underlying conditions and stay healthy.
Compensation
$30-$40 per draw
Responsibilities
Prioritize requests for sample collection based on urgency
Collect patients' personal information
Determine the correct venipuncture method for each patient
Provide patients with reassurance during the collection process
Use sterilized needles, vials, and other equipment to draw blood
We are seeking a Phlebotomist to join our team. In this role, you will collect blood, tissue, and fluid samples from patients. This is a role that can make a significant impact on people's lives, helping them identify underlying conditions and stay healthy.
Compensation
$30-$40 per draw
Responsibilities
Prioritize requests for sample collection based on urgency
Collect patients' personal information
Determine the correct venipuncture method for each patient
Provide patients with reassurance during the collection process
Use sterilized needles, vials, and other equipment to draw blood
Shape the testing strategy and framework at an organizational level as a Senior SDET, owning the foundation including AWS infrastructure, CI/CD pipelines, and Playwright test frameworks for the Rails platform.
Locations (2)
Canada
Vancouver, British Columbia, Canada
Compensation
The recruitment compensation range for this position is $87,600 - 109,500 - 131,400 (this range is base salary only).
Responsibilities
Lead the evolution of Thinkific’s test automation strategy by designing scalable and maintainable automation frameworks for web, API, integration, and component level testing
Develop advanced automation suites across front end, back end, services and integrations using modern tools such as Playwright, Cypress, Selenium or similar
Drive improvements to our CI/CD delivery pipeline by optimizing build efficiency, reliability and parallelization
Act as a technical mentor and coach for engineers and SDETs while elevating skills in test design, automation patterns and quality best practices
We are seeking a Phlebotomist to join our team. In this role, you will collect blood, tissue, and fluid samples from patients. This is a role that can make a significant impact on people's lives, helping them identify underlying conditions and stay healthy.
Compensation
$30-$40 per draw
Responsibilities
Prioritize requests for sample collection based on urgency
Collect patients' personal information
Determine the correct venipuncture method for each patient
Provide patients with reassurance during the collection process
Use sterilized needles, vials, and other equipment to draw blood
Responsible for the development of Argo, our core AI-enabled mathematical reasoning platform, focusing on building robust, scalable software systems that integrate formal methods into key customer workflows.
Compensation
The salary range for this position is estimated to be $200,000 – $250,000 per year. Employees will also receive a significant equity grant, commensurate with the contribution expected from this role.
Responsibilities
Build scalable systems that integrate cutting edge AI and machine learning technology to deliver impact for customers.
Work cross-functionally with forward deployed engineers and applied mathematicians to integrate formal methods and automated reasoning tools and techniques into platform workflows.
Ensure Argo's technical foundations support real-world operational and mission demands.
Collaborate with team members to design and implement the technical architecture and product roadmap for Atalanta's core software platform.
Forward Deployed Engineer InternNewAtalanta · Washington D.C., US
Mobile PhlebotomistNewASSET RISK INC · Lake City, US
Senior Software Development Engineer in Test (SDET)NewThinkific · Remote, Canada+1 more