Remote Senior Haskell Compiler Engineer at Luna 📈 Open Startup
RSS
API
Post a Job

get a remote job
you can do anywhere

The largest collection of Remote Jobs for Digital Nomads online. Get a remote job you can do anywhere at Remote Companies like Buffer, Zapier and Automattic who embrace the future. There are 32,450+ jobs that allow you to work anywhere and live everywhere.

The largest collection of Remote Jobs for Digital Nomads online. Get a remote job you can do anywhere at Remote Companies like Buffer, Zapier and Automattic who embrace the future. There are 32,450+ jobs that allow you to work anywhere and live everywhere.

  Jobs

  People

👉 Hiring for a remote Haskell position?

Post a Job - $299
on the 🏆 #1 remote jobs board

Luna


Senior Haskell Compiler Engineer

Senior Haskell Compiler Engineer


Luna


haskell

senior

engineer

haskell

senior

engineer

7mo
\nOverview\n\nLuna is looking for a senior compiler engineer to help build the next generation compiler and runtime for Luna, a project said by NASA and Singularity University to be 1 of 20 most impressive technologies worldwide. If you have strong technical skills and a passion for all things compiler, then this role could be the one for you.\n\nAs a compiler engineer, you'll work as part of the compiler team to design and implement the new Luna compiler and runtime, work that is at the very core of the next phase of Luna's development. You'll have the opportunity to collaborate with a world-class team of engineers, community managers, and business developers (with experience at Bloomberg, GitHub, and PayPal, to name a few), and make your indelible mark on the future of Luna.\n\nWhat You'll Do\n\nAs a senior compiler developer, you'll be working on the design and development of the new Luna compiler and runtime, to help support the Language's evolution. This will involve:\n\n\n* Working on the design and implementation of the new portions of the compiler.\n\n* Both practical and theoretical work on improving Luna's type-system.\n\n* Practical work improving both the performance of the compiler and its capabilities.\n\n* Work on pass-based optimizations to improve the performance of Luna itself.\n\n* Work on developing the new Luna runtime, including the JIT compiler, base on the infrastructure provided by GHC (the Glasgow Haskell Compiler).\n\n* Designing and developing mechanisms for foreign language interoperability, to allow users to seamlessly integrate Luna with other languages in their stack.\n\n\n\n\nThe Skills We're Looking For\n\nWe have a few particular skills that we're looking for in this role:\n\n\n* Practical and rich experience writing code in Haskell, including use of many GHC Language Extensions, commonly used to enable type-level programming, such as -XTypeFamilies, -XTypeApplications, and -XTypeInType (3+ years).\n\n* Experience reasoning about and debugging performance issues in Haskell code.\n\n* Practical experience building large and complex software systems.\n\n* Experience in building compilers or the design of type-systems.\n\n\n\n\nIt would be a big bonus if you had:\n\n\n* Familiarity with the GHC Core language, and the GHC pipeline.\n\n* Experience with dependent type systems, row types, type-checking algorithms, and type-inference.\n\n* Familiarity with LLVM and its architecture.\n\n\n

See more jobs at Luna

# How do you apply? This job post is older than 30 days and the position is probably filled. Try applying to jobs posted recently instead.
Apply for this Job

👉 Please reference you found the job on Remote OK, this helps us get more companies to post here!

When applying for jobs, you should NEVER have to pay to apply. That is a scam! Posts that link to pages with "how to work online" are also scams. Don't use them or pay for them. Also always verify you're actually talking to the company in the job post and not an imposter. Scams in remote work are rampant, be careful! When clicking on the button to apply above, you will leave Remote OK and go to the job application page for that company outside this site. Remote OK accepts no liability or responsibility as a consequence of any reliance upon information on there (external sites) or here.