Not a job per se, but some friends and I wrote a library for building compositional chatbots (like for IRC not LLMs necessarily) encoded as Mealy Machines: http

Not a job per se, but some friends and I wrote a library for building compositional chatbots (like for IRC not LLMs necessarily) encoded as Mealy Machines: https://github.com/cofree-coffee/cofree-bot/ https://github.com/cofree-coffee/cofree-bot/ That project has since led to a long term collaboration with the Topos Institute where we are building a type theory for Polynomial Functors: https://github.com/toposInstitute/polytt https://github.com/toposInstitute/polytt Polynomial Functors are a really powerful abstraction from Category Theory which subsumes the co-algebraic approach to finite state machines used in `cofree-bot` and which can also be used to encode wiring diagrams, tactics engines, game semantics, neural networks, and dynamical systems in general.