Veridise Inc. Software Engineer, Compiler (Remote) Remote · Full time

Apply for Software Engineer, Compiler (Remote)

Veridise offers thorough and comprehensive security audits for blockchain applications. Leveraging our expertise in automated program analysis, Veridise provides state-of-the-art solutions for ensuring security of decentralized finance applications. Specifically, we offer the following products and services: Automated checking of common security vulnerabilities Automated checking of functional/custom correctness properties Automated generation of exploits for vulnerable contracts Consulting services for thorough security audits

Veridise Inc is seeking a Compiler engineer to join our product development team. We’re looking for a candidate who is passionate about programming languages, compiler tooling, and program analysis. Our team focuses on automated analysis of blockchain programs, so the ideal candidate should be familiar with program analysis and common analysis requirements (pointer analysis, SSA, dependence analysis), familiar with all parts of the compiler infrastructure (language front-ends, optimizations, tooling, code generation) and interested in blockchain languages/platforms. They should also have good interpersonal skills as they will be working along-side our analysis teams. In addition, our infrastructure is currently based on LLVM, so candidates with LLVM experience are strongly preferred.

Responsibilities:

• Development of new front-ends for LLVM
• Aid in the design and implementation of any new intermediate representations developed by Veridise
• Aid in the development of tooling based around any new intermediate representations developed by Veridise
• Collaborate with analysis teams to create passes/optimizations that improve analysis precision
• Design, implement and test compiler features and capabilities related to infrastructure and compiler passes
• Create, maintain and optimize compiler backends capable of targeting different blockchain architectures

Qualifications:

• BS in Computer Science, a Masters degree is strongly preferred
• Experience with blockchain languages and platforms
• Experience with LLVM
• Experience with C++
• Must be able to work independently, work effectively with geographically distributed teams, and be self-motivated to achieve goals and complete projects on time

Veridise Inc offers competitive benefits & salaries.

• Medical/Dental/Vision Insurance
• Life Insurance
• 401(k) with company match
• Paid Time Off
• Equipment Bonus
• Internet/Wifi Subsidy

Apply to learn more!