I am finishing my masters degree in munich and looking for a remote job. I am a skilled rust developer, and very excited about blockchain projects. I worked in research almost 2 years in the field of automated theorem proving and believe I can contribute a lot to your company.