Location: Chicago (USA)

Remote: Ideally no

Willing to relocate: Yes

Technologies: Python, Pytorch, Jax, Rust, Lean, Ocaml

Resume: https://drive.google.com/file/d/1X_Kmuee644SuKaXTQtPOuh6JRY5...

Email: rorroarturo@uchicago.edu