Responsibilities:
1. Designing, specifying and verifying distributed systems by leveraging formal method techniques
2. Conducting theoretical and practical analysis of the performance of distributed systems
3. Designing and analysing incentive systems
4. Collaborating with both internal and external customers and the teams responsible for the actual implementation
5. Researching new techniques for designing, analysing and implementing dependable distributed systems
6. Publishing and presenting research results both internally and externally
Requirements:
7. Masters degree in Computer Science, Mathematics, or a related area
8. Strong mathematical and computer science foundation
9. Experience in analysing the correctness and security of distributed systems
10. Familiarity with the application of formal method techniques
11. Comfortable with “reverse engineering” code in a number of languages including Java, Go, Rust, etc.
12. Keen communicator, eager to share your work in a wide variety of contexts, like internal and public presentations, blog posts and academic papers
13. Capable of deep and creative thinking
14. Have a drive for excellence and quality
15. Open to learning and collaborative by nature
16. Willing to give and receive feedback
17. Passionate about blockchain technology in general
18. Able to manage the uncertainties and ambiguities associated with working in a remote-first, distributed, decentralised environment
Potential skills:
19. PhD in Computer Science, Mathematics, or a related area
20. Experience in the analysis of incentive systems
21. Track record of scientific publications
22. Previous experience in remote or globally distributed teams
Remuneration and benefits:
23. Better than market rate with equity plan
Make sure to follow us here to get our most live jobs https://www.linkedin.com/company/cryptorecruit
Cryptorecruit is the world’s leading specialist recruiter for the blockchain/cryptocurrency industry. We recruit positions from CEO, CTO, Project Managers, Solidity Developers, Frontend and Backend Blockchain Developers to Marketing/Sales and Customer Service roles. Please browse our website and at www.cryptorecruit.com to search all our job vacancies.