Teams at Atalanta Corporation

Develop Argo, an AI-enabled mathematical reasoning platform, by building secure, scalable, high-performance software systems. Integrate AI, machine learning, formal methods, and automated reasoning into customer workflows; collaborate with forward-deployed engineers and applied mathematicians; support mission-critical deployments across cloud, hybrid, and on-premise environments; and contribute to technical architecture and product roadmap decisions.

Conduct research combining machine learning, large language models, automated reasoning, and formal verification. Develop algorithms for code and system reasoning, specification, verification, and synthesis; prototype and evaluate techniques on real systems; and collaborate with engineers to integrate research into production software. The role requires translating theoretical advances into practical, scalable systems that improve software reliability, security, and correctness.

Support customer deployments of Argo across cloud, on-premises, and hybrid environments; translate system architectures into formal models; build proofs and verification workflows; prototype LLM-powered tools; develop front-end features; and turn customer engagement insights into documentation, product feedback, and deployment practices.