Aerospace. If you have a degree that is ABET accredited, don't smoke pot and can thus get a security clearance, and can answer simple programming questions and operating system / data structures question, you have a job. This industry is hiring every entry level software engineer that applies. It's not going to be all Rust, and it isn't going to use Redis, but it has it's own technical challenges. As a plus, you will…
Are formal methods positions within aerospace more common these days?
look at the big OEM's. they have groups that do this.
(Airbus, Boeing, Lockheed, Raytheon, ...)
Flight Controls. Airworthiness.