Compiler Engineer at Runtime Verification

Compiler Engineer

Runtime Verification
Remote

Posted 17 days ago

Runtime Verification Inc. is a US startup headquartered in Urbana, Illinois with staff spread across the globe, including Europe and Southeast Asia. We provide testing and verification services to public and private companies in the embedded and blockchain domains. In the latter we work with infrastructure builders as well as companies building products and providing services supported and/or powered by said infrastructure.

Job Description

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.

What’s in it for you?

Opportunity to work at the forefront of programming language design and verification.
Casual work environment with flexible work hours.
Full benefits package available for US based employees. Includes unlimited paid time off, retirement benefits, employer sponsored health / dental / limited life insurance.


Skills

Compilers, Java, C++

Compensation

Negociable + Equity


Share this opportunity:


Post a Job

CryptoJobs is the #1 website for blockchain jobs. We believe the emergence of blockchain technology and decentralized applications will change the world as we know it, and it’s already happening. We’re on a mission to connect talented individuals to the best blockchain projects, to accelerate the advent of a more decentralized world.


Join 20,000+ crypto enthusiasts for weekly updates:


Trusted by:

And 1,000+ other crypto companies around the world


Follow CryptoJobs on:

Browse by categories

Browse by skills

Browse by top locations