The only hard requirements I can think of are algebraic data types with exhaustive pattern matching to go with, row polymorphism, purity and good inline documentation support.
I don't know if a good enough hostable language exists or if it should be a new version of Nixlang, but almost every single annoying problem that makes me go "Nix is getting in my way" can be traced back to the lack of a good, powerful type system leading to a house of cards situation whether it comes from nixpkgs or entirely of my own making.
Perhaps something like heroku buildpaks (https://github.com/railwayapp/nixpacks ?) would help devs get on the Nix train.
Remote: Yes
Willing to relocate: No
Technologies: Primarily Go; also have experience with Rust, Python, Java, JavaScript, Elm, Nix
LinkedIn: https://www.linkedin.com/in/jhillyerd/
CV: Upon request
Email: james at hillyerd dot com
My recent experience is in back-end development, but I am a generalist software engineer. I love working with platform technologies; Linux, containers, automation, orchestration (nomad & k8s), CI/CD, NixOS, etc. At Google I worked on a distributed application that handled a million requests per second, but I've also worked at startups with no customers.