Location: Seattle, WA Remote: Yes Willing to relocate: No Technologies: C, C++, Python, Linux, Rust, PyTorch, Lisp, Formal Methods, HTML/CSS/JS. Resume/CV: http

Location: Seattle, WA Remote: Yes Willing to relocate: No Technologies: C, C++, Python, Linux, Rust, PyTorch, Lisp, Formal Methods, HTML/CSS/JS. Resume/CV: https://www.alexsanchezstern.com/cv.pdf https://www.alexsanchezstern.com/cv.pdf Email: alex.sanchezstern@gmail.com PhD in formal methods using machine learning, I've done CS research on numerical methods and binary analysis too. Looking for interesting work with some stability after academia. I've led multi-year projects with multiple PhD students during my postdoc.