Note: The job is a remote job and is open to candidates in USA. Veridise Inc is seeking a Compiler engineer to join our product development team. The ideal candidate should be passionate about programming languages, compiler tooling, and program analysis, focusing on automated analysis of blockchain programs.
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
Skills
- BS in Computer Science
- 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
- Masters degree
- Experience with blockchain languages and platforms
- Experience with LLVM
Benefits
- Medical/Dental/Vision Insurance
- Life Insurance
- 401(k) with company match
- Paid Time Off
- Equipment Bonus
- Internet/Wifi Subsidy
Company Overview
Company H1B Sponsorship