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!