←back to thread

Ask HN: Who wants to be hired? (July 2024)

186 points whoishiring | 1 comments | 01 Jul 24 15:01 UTC | HN request time: 0.458s | source

Share your information if you are looking for work. Please use this format:

  Location:
  Remote:
  Willing to relocate:
  Technologies:
  Résumé/CV:
  Email:
Please only post if you are personally looking for work. Agencies, recruiters, job boards, and so on, are off topic here.

Readers: please only email these addresses to discuss work opportunities.

1. ykonstant ◴[01 Jul 24 18:28 UTC] No.40848793[source]▶

  Location: Thessaloniki, Greece
  Remote: Yes / hybrid
  Willing to relocate: Yes
  Technologies: C, x86 ASM, SageMath, Lean 4, LaTeX
  Résumé/CV: https://drive.google.com/file/d/1woxVNcJ4AmT7dD2WEnYr9BHEEY7Li39p
  Email: ykonstant@gmail.com
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/