Would absolutely love to work with Haskell, J/APL, prolog, or lisp. I am passionate about formal systems, machine verification, and minimalism:
Location: Obihiro, Japan
Remote: Yes
Willing to relocate: No
Technologies: Linux, bash, coreutils, C, ELF, ld.so, x86, Haskell, postfix, opendkim, opendmarc, bind, J, Guix, scheme
Résumé/CV: https://wilsonb.com/cv.pdf
Email: employment@wilsonb.com
Have circa 5 years professional experience with mobile and server-side develoyment. Masters in pure math (algebraic geometry). Been tinkering with Linux userspace for about 20 years, since middle school.
My strengths lie in detailed analysis, quick ramp-up time on concepts, and communicating technical ideas clearly. Teams that value intellectual curiosity as well as laser focus have been places where I flourish.
If you read through the above, then thank you! I surely hope to hear from you. Cheers!