Riema Labs is looking to develop and implement cutting-edge AI-driven formal verification tools for Web3 bug findings to advance the overall security of the Web3 community.
Requirements
- Expertise in formal verification
- Hand-on experience in vulnerability analysis
- Web3 security experience is preferred (fluent in rust coding); having a bounty history is highly preferred
- CTF experience, both Web3 and Web2 are preferred
Responsibilities
- Design and develop cutting-edge AI-driven formal verification tools for bug-hunting under the guidance of world-leading R&D teams powered by university professors and Ph.D. at top-tier universities
- Implement and optimize the developed tool to a production level
- Leverage the developed tools for real-world bug hunting and CTF competitions
- Code review, regular report, and documentation
Other
- Fully responsible for assigned tasks and workload, having the capability of solving implementation-level challenges independently
- Have the capability of well organizing the code and documents
- Teamwork and communication skills
- Internship
