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: [email protected]

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.