Mathematics Researcher and Software Engineer

I'm a mathematics researcher with software development experience, particularly in systems level programming on Linux. For the last five years, I was a math professor (postdoc at UT Austin and Florida State University), but now I want to switch to software engineering. As a mathematician, I'm used to independently solving difficult, often vaguely defined problems, and I really enjoy diving deep into some technical topic and learning lots of new things on the way. Hence I'm most excited to work on software engineering problems 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!