Government research labs are on the GS scale (mostly). We're capped at $166,500/year in the DC/NY/SF area (and also, as it happens, the Denver area). $80k is what we offer fresh-outs. A senior flight software engineer managing ten developers with a TS should be near if not at the top end of the salary range.
Contractors doing that work should be similar or higher. I've tried to convert contractor senior flight software engineers to civil servants, and I couldn't... because our ~$150k/year offer was $30k/year too low.
Here are the GS pay scale tables. The job you've describes should be either a high GS-14 or GS-15. So, $133k/year and up.
https://www.opm.gov/policy-data-oversight/pay-leave/salaries...
[1]: https://www.opm.gov/policy-data-oversight/pay-leave/salaries...
Fixed math.