Location: Boston area, MA
Remote: Yes
Willing to relocate: Only for just the right job, family reasons
Technologies: (Professionally) C/C++, Scala, Java, Ruby on Rails (once), machine learning, Python with Scipy+Numpy, Coq, x86 assembly, kernel development; (Hobby) Haskell, probabilistic programming
Resume: <a href="
Email: REDACTED_EMAIL
About: I've just finished (more-or-less, you know how grad-shool is) my research MS in Computer Science at the Technion.  I am extremely interested in interactive theorem proving, functional programming, low-level systems and embedded programming, probabilistic programming, and machine learning.  I have both industrial and academic experience, and would very much like to work in a research or R&amp;D-focused environment.  The personal statement on my LinkedIn page and resume is no joke: I want to work somewhere ambitious.  As in, if you think you can impress Peter Thiel or get a (3) (sweeping political or economic change in at least one country) on the Logarithmic Scale of Ambition, please contact me I want to work with you.  If by some chance you are attempting to hit a (6) (change the basics of the human condition) or above on the Logarithmic Scale of Ambition, we need to talk ;-).
And if you don't appear on the Scale, well, you could still be doing something exciting, so let's talk anyway.