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