We are hiring for one of our ecosystem projects. The company is shifting the future of value extraction.

They are the next generation automated smart contract auditing system focusing on Zero-Day Exploits. They are a blockchain security startup, composed of industry security researchers and scholars, providing top-notch security solutions through our technology precipitation and innovative research.

Their security solutions rely on computation intensive with automation rather than labor intensive, which significantly reduces the cost of auditing. They see value extraction on smart contracts as a 2-step black box optimization process. They facilitate the search by algorithmic parsing, efficient stateful computation techniques, and innovative feedback mechanisms.

The Role

We are looking for a highly skilled Research Engineer to join our team and contribute to the development and optimization of our automated smart contract auditing system.

As a Research Engineer (Architecture integration), you will play a crucial role in our blockchain security startup's mission to provide top-notch security solutions through innovative research and technology precipitation.

Your core contribution is to the development and enhancement of our automated smart contract auditing system, focusing on Zero-Day Exploits. Leveraging your expertise in Rust programming, mathematical algorithms, smart contract integration, smart contract architectures automations, you will optimize the computational efficiency and full automation of our system, reduce auditing costs, and improve overall security.

If you are skilled in critical thinking, possess excellent problem-solving abilities, and are eager to contribute to greenfield research in blockchain security, come and join the team!

In This Role, You Will

• Collaborate with a team of optimization and security researchers to enhance our automated smart contract auditing system.
• Implement and optimize algorithms and data structures using the Rust programming language to improve automation efficacy.
• Design and build complex architectures for automating value extraction systems for smart contracts, ensuring scalability, efficiency, and security.
• Analyze and understand the requirements of different smart contracts and design architectures that best fit their unique characteristics.
• Develop and integrate mathematical algorithms for vulnerability detection, code analysis, and formal verification into our auditing system.
• Stay updated with the latest advancements in blockchain security, smart contract auditing, runtime development and architecture integration techniques.
• Contribute to research efforts by proposing and developing innovative solutions to address emerging value extraction challenges.
• Collaborate with cross-functional teams to ensure seamless integration of optimization algorithms and techniques into our security solutions.
• Participate in code reviews, provide constructive feedback, and maintain high code quality standards.