[TYPES/announce] Hiring typed functional programmer(s) at Nectry

[Adam Chlipala]

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!