Location: Seattle Remote: Yes Willing to relocate: To major cities on suburbs with good non-car commute options (that is, not Mountain View) Technologies: Much

Location: Seattle Remote: Yes Willing to relocate: To major cities on suburbs with good non-car commute options (that is, not Mountain View) Technologies: Much of my recent experience is in Rust, but I've worked in several languages and have broad systems experience. So also Python, C++, program synthesis (including Z3), and more on the resume, Erlang, and so on. I'm Krzysztof. I'm indefinitely pausing/dropping out of a PhD in program synthesis with my Master's, having realized I want to work on something more applied and that the structure of a PhD may not be for me. I'm overall looking for interesting work that's generally backend-focused. While much of my recent work has been on high-performance code generation, I'm actively open to expending out into roles like reliability engineering, infrastructure, and so on. Resume: https://kdrewniak.com/resume.pdf https://kdrewniak.com/resume.pdf Email: krzysdrewniak@gmail.com