Haifa, Israel; Remote OR Relocation; Full Time
Stack: Unix/Linux systems programming, Scala, Coq, Lisp, Python, Matlab, C/C++, Python, Ruby on Rails (once), kernel hacking, etc.
Contact: https://www.linkedin.com/profile/view?id=33147086 or ("eli" ++ "gottlieb" + '@' + List("g","m","a","i","l",".","c","o","m").foldRight("")((x,y) => x ++ y))
About you: You are doing something real, not just another social-mobile-local roomate's-dog-sexting app or enterprise CRUD backend. You have technical depth and challenge coming out the wazoo. You are not merely "changing the world", you are awkwardly avoiding the words world domination in conversation when people ask what you do. You may create or abolish entire industries. We all have our part, and you are damn well doing yours, and you know it.
(If the above sounds like I'm asking for only the most over-hyped melodramatists among companies... well, think of how you write your job ads.)
About me: I started programming at age 11, wrote my own microkernel in Object Pascal in high school, specialized in programming languages and compilers in university, and have renewed my interest in operating systems in grad-school... while also trying to learn automated theorem-proving, type theory, and machine learning. I want to improve on all of these things (especially the ML); please do not be surprised if I shlep a textbook to work with me. Outside academia, I've worked on an analytics engine, a Ruby on Rails web application, the backend for secure file-storage in the cloud, and a handful of open-source projects.
Currently in my MSc at the Technion, and really pining for the not-Technion world at the moment. Hoping to finish either this semester (August) or next (February... Technion has very weird scheduling). Feel free to pass over me if my uncertainty about graduation date makes me useless to you, though for something really cool I might want to take leave from Technion anyway.