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
Help architect and build the mathematical reasoning engine that powers Argo. Focus on designing and applying formalized proofs that translate ambiguous mission requirements into rigorous, machine verifiable guarantees.
Compensation
The salary range for this position is estimated to be $225,000 – $275,000 per year. Employees will also receive a significant equity grant, commensurate with the contribution expected from this role.
Responsibilities
Lead the development of Argo’s core mathematical reasoning capabilities.
Collaborate with forward deployed and software engineers to apply state of the art formal methods and automated reasoning tools to customer’s deployed systems.
Define, structure, and verify formal proofs tied to real-world operational outcomes.
Shape and implement Atalanta’s applied research roadmap and priorities.
Serve as Principal Investigator (PI) on U.S. Government-funded research initiatives.
Design GPU algorithms that search, evaluate, and check large computational problems in massive parallel, and connect those results to formal proof.
Responsibilities
Design and implement high-performance GPU algorithms for search, optimization, and large-scale checking of compute graphs, from algorithm design to kernel tuning and multi-GPU scaling.
Map irregular workloads such as tree and graph search, case splitting, branch-and-bound, and constraint checking onto massively parallel hardware with strong load balancing, memory locality, and throughput.
Build GPU solvers for ordinary and partial differential equations and other numerical methods, with rigorous control of floating-point error through techniques such as interval or validated arithmetic.
Develop certificate-producing pipelines in which untrusted GPU computation emits compact, checkable evidence (witnesses, bounds, case coverage) that a Lean proof verifies on the CPU, keeping the trusted checking step small and tractable.
Apply these methods to semiconductor use cases, including analog trimming and calibration, yield and excursion analysis, and verification across massive test and process datasets.
Requirements
PhD in Computer Science, Applied Mathematics, Electrical Engineering, or a related field
Master’s with equivalent experience in Computer Science, Applied Mathematics, Electrical Engineering, or a related field
Drive technical engagement with customers and partners, co-design advanced architectures, and own security and infrastructure narrative for agentic AI deployments.
Compensation
Your base salary will be determined based on your location, experience, and other objective job-related factors. The expected base salary ranges for this position are: 184,000 USD – 287,500 USD for Level 4; and 224,000 USD – 356,500 USD for Level 5.
Responsibilities
Serve as a trusted advisor who understands complex or large-scale workloads and maps them to NVIDIA’s technology stack
Co-design advanced, scalable architectures with customers and partners
Engage hands-on with deep technical topics—designing, validating, and supporting solutions
Lead technical engagements, helping customers and partners resolve sophisticated issues
Partner multi-functionally with engineering and product teams
Requirements
Bachelor's or Master's degree or equivalent experience in Computer Science, Engineering, or a related field
Drive technical engagement with customers and partners, design and co‑design scalable agentic AI architectures, and own security and infrastructure narrative for NVIDIA solutions.
Compensation
Your base salary will be determined based on your location, experience, and other objective job-related factors. The expected base salary ranges for this position are: 184,000 USD – 287,500 USD for Level 4; and 224,000 USD – 356,500 USD for Level 5.
Responsibilities
Serve as a trusted advisor who understands complex or large‑scale workloads and maps them to NVIDIA’s technology stack
Co‑design advanced, scalable architectures with customers and partners
Engage hands‑on with deep technical topics—designing, validating, and supporting solutions
Lead technical engagements and advocate for customers’ technical needs
Partner with engineering and product teams to ensure successful deployment and continuous improvement
Requirements
Bachelor's or Master's degree in Computer Science, Engineering, or a related field
Software Engineer InternNewAtalanta · Washington D.C., US.png?1785784832)
Senior Researcher, GPU AlgorithmsNewEmergence AI · Bengaluru, India
Senior Safety ConsultantNCC Group · London, United Kingdom
Research and Development Engineer in Formal MethodsInstitut Mines-Télécom · Palaiseau, France