Mathematician and Programmer

I am a mathematician (PhD from UIUC, 2014) specializing in number theory, Lie groups and dynamical systems. I have amateur experience in numerical algorithms, cryptography, and UNIX/POSIX system administration. Recently I used the proof assistant Lean 4 for general purpose programming and formal verification projects (see my github). I am looking for part- and full-time jobs related to numerical or scientific computation and anything that has to do with Fourier/Wavelet/X-ray transforms, Galois fields and applied number theory. For more details and links, please check my webpage: https://ykonstant1.github.io/