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!
\nSenior Type-System Engineer\nLuna is looking for a senior type-system engineer to help build the next generation interpreter and runtime for Luna, a project said by Singularity University to have the potential to change the lives of one-billion people. 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 type-system engineer you'll work as part of the compiler team to design and implement Luna's new type system, including its underlying theory, type-checker, and inference engine. This wok is _intrinsic_ to Luna's evolution, and will provide you with the opportunity to collaborate with a world-class team of engineers, community managers, and business developers (with experience at Bloomberg, GitHub, PayPal, to name a few), making your mark on Luna's future.\n\nWhat You'll Do\nAs a senior type-system engineer, you'll be working on the design and development of Luna's new type-system, in conjunction with the rest of the compiler team, to help support the language's evolution. This will involve:\n\n\n* Determining and formalising the theoretical underpinnings of the new type system in a way as to ensure its soundness.\n\n* Both theoretical and practical treatments of the theory behind Luna's type system.\n\n* Working with the broader compiler team to implement the type-checking and type-inference engines as part of the greater interpreter.\n\n* Using the type-system's information to improve the interpreter's functionality and performance, as well as how it interacts with the users.\n\n\n\n\nThe Skills We're Looking For\nWe have a few particular skills that we're looking for in this role:\n\n\n* Practical and rich experience writing code in a functional programming language such as Haskell or Scala, including experience with type-level programming techniques (3+ years).\n\n* Experience working with the theory behind powerful type systems, including row types, type-checking and type-inference algorithms, and dependently-typed systems.\n\n* Practical experience building real-world type-systems, including facilities for both type-checking and inference.\n\n* An awareness of the UX impacts of type-systems, and a willingness to minimise their often-intrusive nature.\n\n* Practical experience in building large and complex software systems.\n\n\n\n\nIt would be a big bonus if you had:\n\n\n* Experience writing Java and Scala code, as these will be used to implement the type-system.\n\n* Experience in writing comprehensive regression tests for both type-inference and type-checking systems.\n\n\n\n\nAvoid the confidence gap. You don't have to match all of the skills above to apply!\n\nWho You'll Work With\nYou'll be joining a distributed, multi-disciplinary team that includes people with skills spanning from compiler development to data-science. Though you'll have your area to work on, our internal culture is one of collaboration and communication, and input is always welcomed.\n\nWe firmly believe that only by working together, rather than putting our team members in their own boxes, can we create the best version of Luna that can be.\n\nThe Details\nAs part of the Luna team you'd be able to work from anywhere, whether that be at home, or on the go! We have team members distributed across the world, from San Francisco, to London, to Kraków. We welcome remote work and flexible schedules, or you can work from the Kraków office (or our planned SF office) if you'd like. We can provide competitive compensation and holiday, as well as the possibility\nof equity as time goes on.\n\nHow To Apply?\nSend us an email at [email protected], and tell us a little bit about yourself and why you think you'd be a good fit for the role! You can also tell us about:\n\n\n* Some of your past work or projects.\n\n* Why you'd like to work on Luna, and where you imagine Luna being in 5 years.\n\n* The most important features of a team that you'd like to work in.\n\n* Whether you take pride in your ability to communicate clearly and efficiently with your team.\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 Admin, Senior, Engineer, Sys Admin, Java, Haskell and Scala jobs that are similar:\n\n
$70,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.