We are looking for a skilled DeFi Smart Contract Developer with a proven track record of building secure, high-value contracts on EVM. You should have strong expertise in DeFi models, including derivatives and stablecoins, prioritize security, collaborate with auditors, and write audit-friendly test cases to ensure reliable and efficient deployment.
Responsibilities
- You must have experience with DeFi projects,and the smart contracts you’ve developed should lock a significant amount of assets, such as stablecoins or tokens.
- You should have a solid understanding of finance, including common DeFi project models. you need to understand derivatives, stablecoins, and their mechanisms of operation.
- You must be proficient in EVM (Ethereum Virtual Machine) and excel at writing secure smart contract code.
- You should prioritize smart contract security, have a solid understanding of common vulnerabilities, and consistently stay informed about the latest security developments and follow latest security practices.
- You should have experience collaborating with auditing firms, for the contracts you develop, you must have personally communicated with auditors and revised your code based on their feedback.
- You should be highly skilled in writing test cases, especially Proof-of-Concept (PoC) test cases that are easy for auditors to use.
Requirements
- Bachelor's degree in Computer Science, Software Engineering, or a related field.
- At least 4 years of experience in smart contract development, strong knowledge of blockchain technology
Nice to have
- Working experience in Solana is a plus.
- Familiar with formal verification and symbolic execution is a plus
Additional details
- Native is a next-generation liquidity infrastructure that transforms traditional inventory-based trading with a credit-driven model.
- Powered by our Credit Margin Engine, Native ensures liquidity is available precisely when and where it’s needed, all through a single API.
- This creates a frictionless experience for DeFi participants, while seamlessly abstracting chain complexities for any ecosystem or dApp.
- Originally posted on Himalayas
Zobhira
