I have come across your internship ad on the internet and got interested in working with you. I have some preliminary knowledge of blockchain, on the other hand I have quite solid knowledge of cryptography, abstract algebra and programming language theory. I worked on semantics of cubical type theory at the University of Western Ontario under supervision of Chris Kapulkin.
My goal is to start applying my theoretical knowledge by working on hands-on blockchain projects. Since I am a quick learner it will not be hard for me to acquire the missing prerequisites if necessary.
Thanks for your time considering my application. I am attaching my cv.