Skip to main content

NOW HIRING: Senior Type-System Engineer


Company: Luna
Website: https://luna-lang.org
Headquarters: Cracow, Poland


Senior Type-System Engineer Luna 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.

As 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.

What You'll Do As 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:
  • Determining and formalising the theoretical underpinnings of the new type system in a way as to ensure its soundness.
  • Both theoretical and practical treatments of the theory behind Luna's type system.
  • Working with the broader compiler team to implement the type-checking and type-inference engines as part of the greater interpreter.
  • Using the type-system's information to improve the interpreter's functionality and performance, as well as how it interacts with the users.

 The Skills We're Looking For We have a few particular skills that we're looking for in this role:
  • 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).
  • Experience working with the theory behind powerful type systems, including row types, type-checking and type-inference algorithms, and dependently-typed systems.
  • Practical experience building real-world type-systems, including facilities for both type-checking and inference.
  • An awareness of the UX impacts of type-systems, and a willingness to minimise their often-intrusive nature.
  • Practical experience in building large and complex software systems.

 It would be a big bonus if you had:
  • Experience writing Java and Scala code, as these will be used to implement the type-system.
  • Experience in writing comprehensive regression tests for both type-inference and type-checking systems.
Avoid the confidence gap. You don't have to match all of the skills above to apply!


Who You'll Work With

You'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.
We 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.


The Details

As 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 of equity as time goes on.


How To Apply?

Send us an email at jobs@luna-lang.org, 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:
  • Some of your past work or projects.
  • Why you'd like to work on Luna, and where you imagine Luna being in 5 years.
  • The most important features of a team that you'd like to work in.
  • Whether you take pride in your ability to communicate clearly and efficiently with your team.

Source: Remote OK
Labels:

Comments

Post a Comment

Popular posts from this blog

OFFICE HELP THROUGH THE SERVICES OF A VIRTUAL ASSISTANT IN MANAGING YOUR BUSINESS ONLINE

Written By: Rosanna D. Webb Image Source: mompreneur360 Virtual Assistants (VA’s) began to be popular to  small companies run by entrepreneurs  who are managing their business all by themselves that seeks office help. The lower cost apart from the multi-tasking flexibility of VA’s makes them an ideal option to become partners for business success. The skill sets and capabilities of these proficient VA’s ranges from executing clerical jobs up to handling the business enterprise online. They have got exceptional competencies from nearly every facet of the business. The anticipation on VA’s regarding office help may be higher compared to a typical office personnel due to the fact that they are primarily employed of their expertise and not merely from their qualifications or working experience which often are the common grounds for the majority of businesses in employing their staff. The most prevalent query that you’re going to face regarding VA’s is, “What t...
28 comments
Read more

Establishing a Professional Image While Working from Home as a Freelancer

  Written By: Rosanna Webb As a freelancer working from home, maintaining a professional image can sometimes feel challenging. With the absence of a traditional office environment, it’s crucial to establish a professional persona that conveys competence, reliability, and credibility to clients and colleagues.  Having built a freelancing career myself, I’ve learned the key strategies for creating and maintaining a professional image from home . I’ll share insights and tips to help you present yourself professionally, even when your workspace is your living room. The Importance of a Professional Image Creating a professional image as a freelancer is essential for several reasons : Client Perception : A professional image helps build trust and confidence with clients. It reflects your commitment to your work and reassures clients that they’re dealing with a reliable professional. Credibility : A polished professional image enhances your credibility and positions you as an expert ...
Post a Comment
Read more

SETTING UP YOUR OWN WEBSITE IN WORDPRESS AT NO COST

Written By: Rosanna D. Webb Image Source: Wikihow WordPress  is a smart way to obtain your personal website without any cost. Setting up in this platform is ideal for bloggers or writers and businesses that would like to test how a website works. It is a Content Management System (CMS) which is a good option for business websites even though it is designed for blogging. As this is commonly used by bloggers, it can also be used by establishments and small businesses to position their business online. Also, it offers diverse features to choose from to produce a stunning website. Theme As soon as you completed creating your account in WordPress , you will then have access to a variety of paid and    free themes  to personalize your site. There’s no need for you to seek the services of a graphic designer for the website’s structure. You can actually select layouts based on your personal preferences which you believe is great for your business’ image. This is...
10 comments
Read more