Software Engineer, AI & Formal Methods Platform

Atalanta; Washington (District of Columbia); On-site; USD 200,000 - 250,000; Full time

Benefits offered by this job

Annual Argonaut stipend for fitness and nutrition

Comprehensive health, dental, and vision insurance

Generous paid time off

Weekly meals and other on-site amenities

Job summary

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.

Qualifications

• 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.

Responsibilities

• 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.

Skills

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

Job description

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.