SEEKING WORK
Full-stack web developer, academic functional programmer, programming language/DSL designer, extreme polyglot programmer.
Preferred languages are Typescript/Node, Scala, Java, Haskell or other ML-likes (OCaml, SML), or anything unusual, new, or obscure. Experience with automated theorem proving and type theory.
Also a lot of basic web dev experience; that's most of what I've done in the industry. SPAs, Angular, Vue. Linux scripting and ops experience: shell scripts, Docker, Ansible.
---
Examples of my ideal jobs:
- Working on parsers, compilers, IDE tooling, libraries, API documentation, etc. for new or obscure programming languages
- Developer tools -- new text editors, static analysis for existing languages
- Developing a web application from the ground up (greenfield development, full-stack including choice of languages/platforms and server administration)
- Anything involving functional languages and deep type theory, advanced language features
---
Location: Western Massachusetts
Remote work preferred, but local is possible.
adam at nels.onl
(Would also love to chat about your crazy ambitious language/library/theory ideas, even if it has nothing to do with a job.)