Runtime Verification Inc (RV) is looking for a Senior Compiler Engineer to contribute to the K framework project. The ideal candidate has a strong programming background and knowledge about compilers for imperative and functional programming languages. The successful hire will show initiative and lead the maintenance of our internal compiler technologies. The selected individual will be responsible for the following:
- Maintain a compiler developed by RV for a functional programming language, and strategically identify ways to improve the scalability, performance, and reliability of the compiler.
- Design and extend the K framework language with ideas from the term rewriting and functional programming paradigms.
- Maintain a Java and C++ codebase that parses compiles, and interprets programs written in this language by the many semantics engineers at RV.
What we offer
- One of the best teams around.
- Very competitive salary.
- Remote friendly.
- Matching IRA contributions.
- Casual dress code.
- Health insurance.
- Top notch equipment.
- Performance bonuses.
- Company lunches.
- Unlimited vacation.
What we are looking for
- B.S. in software engineering or equivalent.
- 5+ years of industry experience in Java or C++
- A history of development including at least one patch to an open source, mainstream compiler, or a job history on an industry team developing a compiler for an imperative, functional, or rewriting programming language.
Listed in: Cryptocurrency Jobs, .
Compiler Engineer at Runtime Verification: FAQ
Is the Compiler Engineer role at Runtime Verification remote?
Yes — Runtime Verification is hiring this Compiler Engineer as a remote role. You can apply from anywhere unless the listing specifies a region.
Is the Compiler Engineer role at Runtime Verification full-time or contract?
Runtime Verification is hiring this Compiler Engineer as a full time position.
How do I apply for the Compiler Engineer role at Runtime Verification?
You can apply for the Compiler Engineer role at Runtime Verification directly on this page using the Apply button. Remote candidates are welcome. Applications submitted through CryptoJobsList reach the employer directly.