Company:This client is one of the largest blockchain development companies in the world building out household name applications across finance, DeFi, NFT’s and general Blockchain SaaS solutions. Most of their employees operate fully remotely and we are looking for staff across a number of disciplines with this top tier client.
Responsibilities:
- Designing, specifying and verifying distributed systems by leveraging formal method techniques
- Conducting theoretical and practical analysis of the performance of distributed systems
- Designing and analysing incentive systems
- Collaborating with both internal and external customers and the teams responsible for the actual implementation
- Researching new techniques for designing, analysing and implementing dependable distributed systems
- Publishing and presenting research results both internally and externally
Requirements: - Masters degree in Computer Science, Mathematics, or a related area
- Strong mathematical and computer science foundation
- Experience in analysing the correctness and security of distributed systems
- Familiarity with the application of formal method techniques
- Comfortable with “reverse engineering” code in a number of languages including Java, Go, Rust, etc.
- Keen communicator, eager to share your work in a wide variety of contexts, like internal and public presentations, blog posts and academic papers
- Capable of deep and creative thinking
- Have a drive for excellence and quality
- Open to learning and collaborative by nature
- Willing to give and receive feedback
- Passionate about blockchain technology in general
- Able to manage the uncertainties and ambiguities associated with working in a remote-first, distributed, decentralised environment
Potential skills: - PhD in Computer Science, Mathematics, or a related area
- Experience in the analysis of incentive systems
- Track record of scientific publications
- Previous experience in remote or globally distributed teams
Remuneration and benefits: - 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.