I'm currently looking for a job. I have ~3 years of experience in machine learning research and deployment and ~2 in formal verification, plus various fullstack engineering skills I've picked up from hobby projects. You can read about some of the stuff I've worked on my blog, or check out my github for projects that I haven't written up.

You are highly encouraged to manipulate this market by sending me job offers.