Secure Smart Contract Audit & Vulnerability Assessment for DeFi Lending Protocol

We are seeking an experienced smart contract security expert to conduct a thorough audit of our existing DeFi lending protocol, built on Ethereum. The protocol allows users to lend and borrow various ERC-20 tokens using collateralized loans. This audit needs to identify potential vulnerabilities such as reentrancy attacks, integer overflows/underflows, denial-of-service (DoS) risks, and flash loan exploits. The audit should include a detailed report outlining identified issues, their severity levels (critical, high, medium, low), and actionable remediation steps. We require a comprehensive evaluation of the smart contract code (Solidity) as well as its interactions with external contracts and oracles. The ideal candidate will have a strong understanding of DeFi principles, common smart contract attack vectors, and best practices for secure coding. Experience with formal verification tools is a plus. Post-audit support for implementation of recommended fixes and ongoing monitoring guidance will be required. We prioritize candidates with a proven track record in successfully auditing similar DeFi projects and a commitment to delivering high-quality, actionable insights. This project will involve careful review of the entire codebase and interaction flows to ensure maximum security against potential exploits. The final deliverable includes a written report, presentation of findings and recommendations, and assistance in implementing necessary security patches.