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.

We are looking for:

Current enrollment in a Bachelor’s, Master’s, or PhD program in computer science, software engineering, mathematics, or a related field.

Strong programming fundamentals in at least one language such as Python, TypeScript, or Rust, and familiarity with, or willingness to learn, front-end frameworks like React.

Experience building software for real users through coursework, prior internships, research, hackathons, or personal or open source projects.

Interest in AI systems and formal methods, such as LLM tool calling, agentic workflows, SMT solvers, or theorem provers like Lean; prior exposure is a plus but not required.

Strong communication skills and an interest in working directly with users to understand their problems and explain technical results clearly.

Eligibility for a TS/SCI security clearance (U.S. citizenship required.)

Software Engineer Intern

Responsibilities

Benefits

Company

Atalanta