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
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.
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.