Skip to content
×

Software Engineer, AI & Formal Methods Platform

Listing for: Atalanta
Full Time position Listed on 2026-11-14
Job specializations:
Salary/Wage Range or Industry Benchmark: 200000 - 250000 USD Yearly USD 200000.00 250000.00 YEAR

Job Description & How to Apply Below

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.

The following role is for a Software Engineer, AI & Formal Methods Platform with Atalanta.

We are seeking a motivated Software Engineer, AI & Formal Methods Platform to join Atalanta in Washington, DC, United States.

Consider building your career as a Software Engineer, AI & Formal Methods Platform at Atalanta.

The Software Engineer, AI & Formal Methods Platform position in the IT & Technology field is open for applications.

To View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
View / Apply for Jobs
Matching My Jurisdiction

Search for further Jobs Here:

SEARCH JOBS: 10+ Million Listings
(Try combinations for better Results! Or enter less keywords for broader Results)
Education Level
Experience Level (years)
Posted in last:
Salary