Software Engineer, AI & Formal Methods Platform

Atalanta; Washington (District of Columbia); Presencial; USD 200.000 - 250.000; Jornada completa

Ventajas ofrecidas por este puesto de trabajo

Annual Argonaut stipend for fitness and nutrition

Comprehensive health, dental, and vision insurance

Generous paid time off

Weekly meals and other on-site amenities

Descripción de la vacante

Atalanta is seeking a Software Engineer to develop Argo, an AI-enabled mathematical reasoning platform. Your role will focus on building robust software systems that leverage AI and formal methods.

Responsibilities include building scalable systems and collaborating with cross-functional teams to meet real-world mission demands. The estimated salary for this position ranges from $200,000 to $250,000 per year, along with generous equity grants and comprehensive benefits.

Formación

• Expertise in Rust and experience building secure, scalable platforms.
• Proficiency with front-end languages like React/TypeScript.
• Experience integrating AI models into software applications.
• Experience deploying products in cloud, hybrid, and on-premise environments.
• Experience building products from conception to launch.
• U.S. citizenship required for eligibility for TS/SCI security clearance.

Responsabilidades

• Build scalable systems integrating cutting-edge AI and machine learning technology.
• Work cross-functionally with engineers and mathematicians.
• Ensure Argo supports operational and mission demands.
• Collaborate on the technical architecture and product roadmap.

Conocimientos

Expertise in Rust

Proficiency with front-end languages like React/TypeScript

Experience integrating AI models

Experience deploying products in cloud environments

Ability to build products from conception to launch

Eligibility for TS/SCI security clearance

Descripción del empleo

Atalanta is seeking a Software Engineer to develop Argo, an AI-enabled mathematical reasoning platform. Your role will focus on building robust software systems that leverage AI and formal methods.

Responsibilities include building scalable systems and collaborating with cross-functional teams to meet real-world mission demands. The estimated salary for this position ranges from $200,000 to $250,000 per year, along with generous equity grants and comprehensive benefits.