Location: Chennai,India
Remote: Yes
Willing to relocate: Yes, after a year
Technologies: math + Python, PyTorch, TensorFlow, scikit-learn, NumPy, SciPy, matplotlib, pandas, HDBSCAN, R, Haskell, SQL, Lean, Isabelle, LaTeX, Docker, Linux, Git
Résumé/CV: https://gitlab.com/C4RBID3/jeffdoesmath-cv/
Email: jeffdoesmath@gmail.com
Hey! I'm Jeff and I have designed antennas, worked with formal verification tools (Lean, Isabelle), and consulted as an algorithms and data consulting engineer (for antenna verification) since my teens. My friends often complain that I'm the kind of person who considers "let ε > 0" a perfectly reasonable way to start a conversation. I'm currently seeking remote math research, data science or ML ops opportunities. You can check out my website and the work I have done at jeffdoesmath.com!
JeffsCarbide · · focus · HN ↗