I think as a mathematician you may enjoy a niche like formal verification. Look up tools like TLA+ [0]. Formal verification is basically about modeling hardwa

I think as a mathematician you may enjoy a niche like formal verification. Look up tools like TLA+ [0]. Formal verification is basically about modeling hardware & software systems with a notation similar to mathematics. It seems like a good option for a mathematician. [0]: https://lamport.azurewebsites.net/video/videos.html https://lamport.azurewebsites.net/video/videos.html