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.

Position Summary

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.

Job 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.

Job 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
• Working experience in Solana is a plus.
• Familiar with formal verification and symbolic execution is a plus