[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
For the past few years, I've been commercializing some of my research in
startup Nectry. Built on dependently typed functional programming, we
enable LLM-powered development of enterprise software by composing
richly typed combinators, so that people without programming experience
are constrained by the right guardrails as they create production-ready
software.
We are looking to hire another functional programmer in the very near
future (and then probably more later). Here's a job posting:
https://urldefense.com/v3/__https://nectry.com/careers/senior-software-engineer/__;!!IBzWLUs!Q3LC_vRUPZvRRjB62FyHr4V2tl2m-fq64v7WXrR_wqilW-pYKJHZMhGUa-BhECMnDmBauoKCIGOCxmCZYYd9hosLCXmmCHTz$
Feel free to contact me directly if you're interested or know someone
good to refer!
