We do security research on Cardano
We research security, programming language theory, formal methods, and build tools on Cardano. Our current programming stacks include Haskell, Racket (and other Scheme dialects), F#, and LLVM. However, we only treat those languages as tools and will work with different technologies if they are suitable for the job.
If you are interested in security research, contact us!