Location: Atlanta, GA
  Remote: Yes
  Willing to relocate: Yes
  Technologies: Python, C, C++, Pytorch, Tensorflow, Lean, Isabelle, React, JavaScript/TypeScript, HTML, CSS, FastAPI, Git, Unix, Linux, Docker (Learning: Rust, Haskell)
  Résumé/CV: https://george.chemmala.com/George_Chemmala_resume.pdf
  Email: george_chemmala@brown.edu

Hello, I am a junior developer who is interested in theoretical CS including ML, cryptography, and proof assistants.