{"id":4213310,"url":"https://alion.io/job/atalanta-software-engineer","title":"Software Engineer","company":{"id":2253843,"name":"Atalanta","domain":"atalanta.tech","url":"https://alion.io/company/atalanta-tech","size_band":"11-50","is_staffing_agency":false,"employer_type":"direct","is_intermediary":false,"listed_via":null,"ats_vendor":"Ashby","truth_index":null},"role":"Backend","role_family":"Backend","seniority":null,"employment_type":"full_time","work_mode":"on_site","remote_scope":null,"remote_scope_basis":null,"remote_working_hours":null,"hiring_geo_confidence":"structured","locations":["Washington, United States"],"countries":["US"],"hiring_countries":[],"hiring_countries_total":0,"salary":{"min":200000,"max":250000,"currency":"USD","period":"year","gross":null,"usd_annual":250000},"salary_estimate":null,"experience_years_min":null,"visa_sponsorship":false,"relocation_package":false,"has_equity":true,"technologies":[{"name":"AWS","optional":false},{"name":"Azure","optional":false},{"name":"GCP","optional":false},{"name":"Machine Learning","optional":false},{"name":"Rust","optional":false},{"name":"TypeScript","optional":false}],"status":"live","first_seen_at":"2025-11-18T19:18:16Z","employer_posted_date":"2025-11-18","last_verified_at":"2026-11-13T01:50:39Z","board_verified":true,"closed_at":null,"days_open":359,"trust":{"level":"ok","repost_count":null,"flags":[],"days_open":359},"description":"/ ABOUT ATALANTA\nAtalanta is a mathematical AI company bringing provably correct decision-making to the world’s most important missions.\nOur flagship product, Argo, is the first platform in a new category called software understanding. Argo combines AI, formal methods, and digital engineering to help organizations design, implement, and deploy complex software-controlled systems with mathematical assurance at mission speed.\nBacked by leading investors, Atalanta works with customers building and deploying mission-critical systems across energy, space, and defense. Our goal is to help engineers and mission owners move faster while maintaining the highest possible level of assurance, ultimately saving time, money, and lives.\n/ HOW WE WORK\nAtalanta takes its name from the mythological Greek heroine, a swift and fearless competitor who defied expectations and joined the Argonauts on a mission few thought possible. Her spirit of speed, discipline, and resilience shapes how we work.\nWe’re building a team of modern-day Argonauts: exceptional engineers, mathematicians, designers, and strategists committed to solving the hardest, highest-stakes problems in the world. We move fast, but we do so with discipline and logic. We think from first principles and execute with autonomy and accountability.\nYou may be a good fit for Atalanta if you are insatiably curious in the face of discomfort, are a coalition builder who sees progress as a positive-sum game, and believe that the alchemy of interdisciplinary expertise can solve seemingly impossible problems.\n/ ENGINEERING AT ATALANTA\nSoftware understanding is about building systems that perform reliably in real-world missions where failure has consequences. It requires proving that those systems behave correctly in ways that enable reliable decision-making under real-world conditions.This cannot be achieved through traditional software development alone, nor through formal methods in isolation. Atalanta’s engineering function is built on a deliberate combination of forward-deployed engineers, formal methods engineers, and software engineers, each working directly against real mission problems and real user needs: deploying into operational environments, establishing provable guarantees, and building scalable systems. This work is defined by deep mission and customer obsession, where real-world use drives what gets built and which problems matter. Engineers take a product-first approach, translating these insights into systems that can be deployed quickly across constrained and high-stakes environments. These roles operate in close coordination, ensuring that Argo continuously evolves through use in the field. Success means solving problems that were previously considered impossible, and turning them into capabilities that can be productized at scale.\n/ ABOUT THE ROLE\nAs a Software Engineer at Atalanta you will be responsible for the development of Argo, our core AI-enabled mathematical reasoning platform. Your work will focus on building robust, scalable software systems that integrate formal methods into key customer workflows.\nIn this role, you will:\nBuild scalable systems that integrate cutting edge AI and machine learning technology to deliver impact for customers.\n\nWork cross-functionally with forward deployed engineers and applied mathematicians to integrate formal methods and automated reasoning tools and techniques into platform workflows.\n\nEnsure Argo's technical foundations support real-world operational and mission demands.\n\nCollaborate with team members to design and implement the technical architecture and product roadmap for Atalanta's core software platform.\n\n/ REQUIREMENTS\nWe are looking for:\nExpertise in Rust and experience building secure, scalable, high-performance platforms.\n\nProficiency with front end languages like React/TypeScript.\n\nExperience integrating and operationalizing AI models into software applications.\n\nExperience deploying products in cloud (AWS, GCP, Azure), hybrid, and on-premise environments.\n\nExperience building products from conception to launch, with the ability to architect systems for rapid growth and evolving requirements.\n\nEligibility for a TS/SCI security clearance (U.S. citizenship required.)\n\n/ COMPENSATION & BENEFITS\nThe salary range for this position is estimated to be $200,000 - $250,000 per year. Employees will also receive a significant equity grant, commensurate with the contribution expected from this role.\nOther benefits include:\nAnnual Argonaut stipend to invest in your fitness, nutrition, and sleep to help you operate at peak performance.\n\nComprehensive health, dental, and vision insurance.\n\nGenerous paid time off.\n\nWeekly meals and other on-site amenities at Atalanta HQ.\n\nEqual Opportunity\nAtalanta is an equal opportunity employer committed to building a diverse team aligned by mission, technical expertise, and impact.","description_format":"text","description_chars":4899,"description_truncated":false,"requirements":{"experience_years_min":null,"management_years_min":null,"team_size_min":null,"manages_managers":false,"education":null,"security_clearance":true,"languages":[]},"benefits":["Equity","Vision insurance"],"hiring_locations":[{"name":"United States","iso":"US","kind":"country"}],"hiring_excludes":[],"relocation_offered":false,"industries":[],"lifecycle":[{"event":"open","at":"2026-11-13T01:50:39Z"}],"visa":[{"country":"US","licensed_sponsor":true,"adverts_offering_sponsorship_24m":0,"sanctioned_now":false,"evidence":"H-1B filings in 12 months: 1","filings_12m":1,"filings_prev_12m":1,"green_card_filings_12m":0,"median_offered_wage_usd":82500,"route":null,"cap_exempt":false,"checked_at":"2026-11-12T07:36:15+00:00","sources":["US Department of Labor: LCA disclosure data (H-1B, H-1B1, E-3)","US Department of Labor: PERM disclosure data (green cards)"],"filings_for_role_12m":0}],"liveness":{"score":4,"band":"cold","label":"Long shot","p_open":1,"p_active":0.152,"p_room":0.28,"age_days":359,"expected_fill_days":30,"reasons":["conf:2","win:tail","crowd:"],"computed_at":"2026-11-13T03:53:15Z"},"pay":{"stated_usd_annual":250000,"is_top_pay":true},"html_url":"https://alion.io/job/atalanta-software-engineer","json_url":"https://alion.io/job/atalanta-software-engineer.json","meta":{"generated_at":"2026-11-13T03:53:15Z","cache_seconds":300,"methodology":"https://alion.io/methodology","terms":"https://alion.io/terms","contact":"https://alion.io/contact","api":"https://alion.io/developers","about":"Alion is a live layer of people, companies and AI agents: who they are, whether they are real and active right now, what they do and how to work with them, readable by people and by agents and paid per call.","catalog":"https://alion.io/catalog.json","usage":{"tier":"crawler_verified","counted_by":"address","units_charged":1,"used_today":8230,"day_limit":null,"remaining_today":null,"minute_limit":300,"resets_at":"2026-11-14T00:00:00Z"}},"offers":[{"id":"company.slices","title":"One company in depth, by slice","status":"live","price":{"credits":0.1,"usd":0.01,"plus_per_slice":{"credits":0.05,"usd":0.005}},"unit":"per company, plus each slice with data","note":"the employer in depth","call":{"mcp_tool":"get_company","arguments":{"id":2253843},"rest":"https://alion.io/mcp/rest/get_company?id=2253843"},"human":"https://alion.io/catalog?offer=company.slices&for=job%2Fatalanta-software-engineer"},{"id":"market.stats","title":"A market slice: pay, demand and time to fill","status":"free","price":{"credits":0,"usd":0},"unit":"per slice","note":"pay, demand and time to fill for this role and place","call":{"mcp_tool":"market_stats"},"human":"https://alion.io/catalog?offer=market.stats&for=job%2Fatalanta-software-engineer"},{"id":"job.search","title":"Open jobs by role, technology, place, pay and visa","status":"live","price":{"credits":0.1,"usd":0.01},"unit":"per posting in a list","note":"similar open postings","call":{"mcp_tool":"search_jobs"},"human":"https://alion.io/catalog?offer=job.search&for=job%2Fatalanta-software-engineer"},{"id":"company.verify","title":"Is this company real and active right now","status":"pilot","price":null,"unit":"per company","request":{"url":"https://alion.io/catalog/request","method":"POST","body":"{\"offer\": \"company.verify\", \"for\": \"job/atalanta-software-engineer\", \"note\": \"what you need it for\"}"},"human":"https://alion.io/catalog?offer=company.verify&for=job%2Fatalanta-software-engineer"}],"agent":{"mcp":"https://alion.io/mcp/jobs","mcp_open":"https://alion.io/mcp/open","next":[{"tool":"get_job","arguments":{"id":4213310}},{"tool":"search_jobs","arguments":{"company":"atalanta.tech","detail":"compact"}},{"tool":"match_people","arguments":{"job_id":4213310},"note":"people open to offers who fit this vacancy"}],"note":"The same data through MCP tools: https://alion.io/mcp/open needs no sign-in (compact searches, postings, people); https://alion.io/mcp with an Alion account has everything. Docs: https://alion.io/developers"}}