Remote Jobs at Runtime Verification Open Startup
RSS
API
Remote HealthPost a job

find a remote job
work from anywhere

There is currently one remote job at Runtime Verification tagged engineersuch as Compiler Engineer

  Jobs

  People

👉 Hiring remotely? Reach 1,000,000+ remote workers on the 🏆 #1 remote jobs board

Post a job
Hide this
Remote Health by SafetyWing
Global health insurance for freelancers & remote workers
Remote Health by SafetyWing
Global health insurance for freelancers & remote workers
Advertise here

This month's remote jobs

Runtime Verification

 

Compiler Engineer  


Runtime Verification


engineer

 

engineer

 
\nPosition Details\n\nRuntime 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:\n\n\n\n* 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. \n\n* Design and extend the K framework language with ideas from the term rewriting and functional programming paradigms.\n\n* Maintain a Java and C++ codebase that parses, compiles, and interprets programs written in this language by the many semantics engineers at RV.\n\n\n\n\n\nRequirements:\n\n\n* B.S. in software engineering or equivalent.\n\n\n\n\n\n* 5+ years of industry experience writing code in a functional programming language or a term rewriting language.\n\n* A history of development that includes at least one accepted patch into the compiler of a functional or term rewriting programming language.\n\n\n\n\nNice to have:\n\n\n* Industry experience writing Java or C++ code.\n\n* Experience as a maintainer of an open source compiler.\n\n* Knowledge of formal methods, mathematical logic, or term rewriting.\n\n* Familiarity with SMTLIB technology.\n\n* Experience with LLVM and Clang.\n\n* Knowledge of Flex/Bison.\n\n\n\n\n\nWhat’s in it for you?\n\n\n* Opportunity to work at the forefront of programming language design and verification. \n\n* Casual work environment with flexible work hours\n\n* Full benefits package available for US based employees. Includes unlimited paid time off, retirement benefits, employer sponsored health / dental / limited life insurance. \n\n\n


See more jobs at Runtime Verification

1,988ms