Mathematician with Software Development Experience

I'm a mathematician with software development experience, particularly in systems level programming on Linux. I have been programming for 20+ years, as a hobby and as part of my work, recently mostly building computer experiments for math research (see my website). I've worked as a professor (postdoc at UT Austin and Florida State University) for the last few years, but I want to switch from academia to industry. As a math researcher, I'm used to solving hard problems without established solutions, and I enjoy learning new things every day. I'm most interested to work on software engineering with challenging technical/algorithmic aspects or performance/resource constraints, for example: compilers, high performance computing, GPU computing, embedded systems, computer algebra, cryptography, formal verification, symbolic execution, computer security, etc. But I'm open for any opportunity where my skills could be useful!