Hey HN! Air Space Intelligence (https://www.airspace-intelligence.com) is hiring. We are a frontier AI and product company for the critical industries and defense backed by a16z.

We’re rebuilding America’s air traffic control system from scratch. What we do in the next two years will define how this country moves through the sky for the next fifty.

At the core is one of the largest real-time optimization problems in the world: how do you safely sequence ~40,000 flights/day while routing around weather, military airspace, equipment outages, and constant real-world churn? The system has to be right every time, and reliable at scale.

We’re hiring across Backend, Infrastructure, and Frontend (ICs and Tech Leads).

One of our roles (with a small puzzle at the bottom that routes to my email): https://www.airspace-intelligence.com/careers/role?=1336c828... - include “HackerNews” in the subject so I can prioritize.

If you want a problem that is genuinely hard, consequential, and urgent - this is the moment to reach out.

SmarterDx | 150-250k+ + equity + benefits | Remote (US only) | Multiple roles | https://smarterdx.com/careers

SmarterDx builds clinical AI for one of healthcare’s most broken systems: how hospitals get paid for the care they actually deliver.

Our physician-designed clinical AI platform reviews the clinical record, understands the nuance of patient care, and helps hospitals capture appropriate reimbursement across the revenue cycle. The core problem is hard: messy clinical data, complex regulations, payer rules, medical reasoning, and real financial stakes. When we get it right, hospitals recover millions in earned revenue, reduce manual review burden, and keep clinical and revenue teams focused on higher-value work.

We’ve hit serious scale while keeping the team unusually strong and technical: MD/data scientist hybrids, Stanford LLM researchers, former Google and Amazon engineers, former ASF board member, and others who are among the best in their fields. Many teammates have been here since we bootstrapped to $1M+ in contracted revenue before raising capital.

In 2025, SmarterDx became part of Smarter Technologies through a $1.1B deal with New Mountain Capital, reaching unicorn status while continuing to operate with the autonomy, urgency, and product velocity that got us here. Before that, we raised $71M from Floodgate, Transformation Capital, and Bessemer, including a $50M Series B.

We have real product-market fit: 85+ health systems, 300+ hospital sites, rapid customer growth, and 150% YoY headcount growth (currently at ~500). Now we’re scaling the platform.

For more and to apply, see https://smarterdx.com/careers

Adacore | Software Engineers | Full-time | Remote or On-Site

Adacore is the maintainer of GNAT, GCC's Ada frontend (but now with many more compiler backends: LLVM, Why3, JVM...) and of a lot of tools revolving around the Ada ecosystem (IDEs, Coverage tools, Fuzzers, Static Analyzers, Formal proof tooling...). Evertything we build is open-source and we make money by providing support, trainings, certifications...

We are looking for a lot of different profiles:

- GCC/GNU toolchain developpers ( https://app.hellotalent.com/vacancy/gnu-toolchain-developer-... )

- Senior Static Analysis Software Engineer ( https://app.hellotalent.com/vacancy/senior-static-analysis-s... )

Please apply through the website. I am in the Static Analysis team, so I can answer questions if you have any. Also, if you feel like you would be a strong candidate (e.g. you have working experience with abstract interpretation) but are missing some of the requirements (e.g. not in the right location or only three years of experience instead of five etc) and this is making you hesitate to apply, please contact me - I'm just a lowly engineer far removed from the hiring pipeline but I'd love to hear for you and try to convince HR that you could be a good fit :).