Location: Philadelphia, PA, USA
Remote: yes
Willing to relocate: no
Technologies: C/C++, Rust, Python (incl. Numpy, Tensorflow, Pytorch), Linux, CUDA
Email: [email protected]
Website:
https://florianstecker.netRésumé/CV: https://florianstecker.net/resume-hn.pdf
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!
Résumé/CV: https://florianstecker.net/resume-hn.pdf
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!