SEEKING WORK Full-stack web developer, academic functional programmer, programming language/DSL designer, extreme polyglot programmer. Preferred languages are

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.)