This job post is closed and the position is probably filled. Please do not apply. Work for Luna and want to re-open this job? Use the edit link in the email when you posted the job!
\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 \n\n#Salary and compensation\n
No salary data published by company so we estimated salary based on similar jobs related to Haskell, Senior and Engineer jobs that are similar:\n\n
$80,000 — $130,000/year\n
\n\n#Benefits\n
๐ฐ 401(k)\n\n๐ Distributed team\n\nโฐ Async\n\n๐ค Vision insurance\n\n๐ฆท Dental insurance\n\n๐ Medical insurance\n\n๐ Unlimited vacation\n\n๐ Paid time off\n\n๐ 4 day workweek\n\n๐ฐ 401k matching\n\n๐ Company retreats\n\n๐ฌ Coworking budget\n\n๐ Learning budget\n\n๐ช Free gym membership\n\n๐ง Mental wellness budget\n\n๐ฅ Home office budget\n\n๐ฅง Pay in crypto\n\n๐ฅธ Pseudonymous\n\n๐ฐ Profit sharing\n\n๐ฐ Equity compensation\n\nโฌ๏ธ No whiteboard interview\n\n๐ No monitoring system\n\n๐ซ No politics at work\n\n๐ We hire old (and young)\n\n
# How do you apply?\n\nThis job post has been closed by the poster, which means they probably have enough applicants now. Please do not apply.