We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies.

We use cookies and other tracking technologies to improve your browsing experience on our site, analyze site traffic, and understand where our audience is coming from. To find out more, please read our privacy policy.

By choosing 'I Accept', you consent to our use of cookies and other tracking technologies. Less

We use cookies and other tracking technologies... More

Login or register
to publish this job!

Login or register
to save this job!

Login or register
to save interesting jobs!

Login or register
to get access to all your job applications!

Login or register to start contributing with an article!

Login or register
to see more jobs from this company!

Login or register
to boost this post!

Show some love to the author of this blog by giving their post some rocket fuel ūüöÄ.

Login or register to search for your ideal job!

Login or register to start working on this issue!

Login or register
to save articles!

Login to see the application

Engineers who find a new job through Functional Works average a 15% increase in salary ūüöÄ

You will be redirected back to this page right after signin

Compiler Engineer - Plutus (Smart Contracts)

Remote | Worldwide

14 October, 2021

Compensation

Competitive

Contract type

Full time
Remote working

Technologies & frameworks

  • Compiler
  • Compiler Design
  • Compilers
  • Concurrent Programming
  • Haskell
  • Research
  • Smart Contract
  • Smart Contracts
  • compiler engineering

Benefits & perks

  • Remote working
  • Paid sick days
  • Pension
  • Performance bonus
  • Promote from within
  • Committed to a diverse team
  • Paid time off
  • 100% remote working
  • Learning & development
  • Health insurance - us employees
  • Healthcare stipend - uk & ireland employees
  • No call fridays
IO Global, creator of Cardano, is searching for a Compiler Engineer to join its Plutus team.

Role overview

IO Global, creator of the blockchain platform Cardano, is searching for a Compiler Engineer to join its Plutus team. The Plutus team is building the core of Cardano’s smart contract functionality on the bedrock of functional programming languages. This interdisciplinary team carries out original R&D and turns the results into production systems.

In the past few years, the Plutus team has:

  • Published five peer-reviewed papers with top academic researchers
  • Designed and implemented three programming languages
  • Formalized the semantics of two of those languages using Agda
  • Improved the ability of Agda to generate usable¬†Haskell¬†output
  • Created novel compilation techniques for¬†data¬†types
  • Written a proposal for the Glasgow¬†Haskell¬†Compiler (GHC), on which implementation work is now being carried out
  • Implemented a compiler for a subset of¬†Haskell¬†as a GHC plug-in
  • Used statistical modeling to infer evaluation cost models
  • Participated in the design and implementation of¬†Cardano¬†ledger¬†extensions to support¬†smart¬†contracts.

To keep such a heady mixture of research, development, and design working well requires a wide range of highly competent people. If that sounds like fun to you, drop us a line.

Your mission

As a Compiler Engineer you are responsible for writing high-quality code. To support you, our products have software architects, product managers, project managers, formal methods specialists, and QA test engineers, with whom you must communicate professionally, effectively, and efficiently.

Your duties will include

  • Following¬†agile¬†software¬†development¬†practices
  • Working with¬†teams¬†across time zones
  • Carrying out software¬†development¬†tasks¬†independently
  • Being proactive and requiring minimal supervision or¬†mentoring
  • Reviewing¬†specifications¬†produced by¬†architects¬†and formal methods¬†specialists
  • Contributing to the design of¬†algorithms
  • Writing clean, straightforward, efficient code that satisfies previously agreed¬†acceptance¬†criteria¬†and¬†specifications
  • Committing often and submitting small pull requests frequently
  • Covering your code with unit, property, and integration¬†tests¬†when¬†applicable
  • Reviewing the pull requests of others in the¬†team
  • Fixing¬†bugs¬†in your¬†own¬†and¬†legacy¬†code
  • Tackling any severe issues with¬†deployed¬†products in¬†emergencies
  • Integrating software components and¬†third-party libraries
  • Verifying and¬†deploying¬†programs and systems
  • Troubleshooting,¬†debugging,¬†and upgrading software
  • Writing¬†documentation¬†for code and technical user manuals
  • Developing¬†your knowledge of¬†distributed¬†and¬†concurrent¬†computation, and of¬†cryptography.

Requirements

Your expertise

  • A minimum of two years‚Äô¬†development¬†experience (professional or otherwise) in¬†Haskell
  • Degree in¬†computer¬†science is desirable but¬†not¬†essential
  • Experience working with¬†Git¬†and¬†Git¬†workflow
  • Practical understanding of¬†Agile¬†software¬†development¬†methods
  • Knowledge of¬†functional¬†and object-oriented programming paradigms
  • Familiarity with QuickCheck/Hedgehog and property¬†testing
  • Good understanding of¬†concurrent¬†programming/concurrency, call-by-need, memoization, and lazy evaluation
  • Experience in languages such as¬†PureScript,¬†Elm,¬†Idris,¬†Agda, OCaml, and F#
  • Familiarity with the GHC
  • Working knowledge of frameworks/libraries such as conduit,¬†cryptonite,¬†distributed-process, lens, optparse-applicative, persistent, pipes, servant, stm, and template-haskell
  • Proficiency in advanced function point (FP) techniques including advanced¬†functional¬†data¬†structures, dependent types, extensible effects, generic programming, streaming, and type-level programming
  • Experience in programming language design and implementation including frontends, type systems, program transformations, optimisations, and code generation
  • Working knowledge of human-computer¬†interface (HCI) aspects of programming languages and DSLs, programmer tools, and analysis would be a bonus
  • Academic or industrial R&D experience such as writing papers or implementing innovations from papers
  • Background¬†in programming languages/functional¬†programming theory.

Benefits

Location

IOG is a fully distributed organization and therefore this is a remote position. Due to team distribution we are ideally searching for someone in a European timezone.

All Colleagues

  • Flexible schedule
  • Remote work - ability to work anywhere
  • Laptop reimbursement
  • New starter package to buy hardware essentials (headphones,¬†monitor,¬†etc)
  • Learning &¬†Development¬†opportunities
  • Competitive PTO and Sick Leave plan

US Employees

  • Medical, Dental, and Vision benefits coverage through Anthem with 100% premium cost covered by¬†IO¬†Global for the employee and dependents
  • Health Savings Account
  • Life Insurance

UK Employees

  • Monthly Health Stipend to use towards any wellness or medical coverage/service
  • Pension
  • 250+
  • Singapore

Founded in 2015, IO Global is one of the world‚Äôs pre-eminent blockchain research and engineering companies, best known for the Cardano blockchain platform. We are a fully decentralized, remote-working organization committed to the highest principles of academic rigour and evidence-based software development. The company builds high-assurance blockchain products for public and private sector clients. Our goal is simple ‚Äď to fuel our drive to be best in class by giving you the opportunity, resources and support to deliver your finest work to date. You‚Äôll work with some exceptionally talented and friendly individuals who are always open to new ideas and ways of working. IO Global is an advocate of decentralized remote working, with 300 people working in more than 50 countries. Everyone has a different skill set, a different culture, and is at a different stage in their life. We aim to make collaboration between diverse people fun, exciting, and always rewarding. Many companies say they ‚Äėthink outside the box‚Äô ‚Äď for IO Global it‚Äôs more, ‚Äėwe think outside the geography‚Äô.

View 41 jobs
Engineers who find a new job through Functional Works average a 15% increase in salary.

Compensation

Competitive

Contract type

Full time
Remote working

Technologies & frameworks

  • Compiler
  • Compiler Design
  • Compilers
  • Concurrent Programming
  • Haskell
  • Research
  • Smart Contract
  • Smart Contracts
  • compiler engineering

Benefits & perks

  • Remote working
  • Paid sick days
  • Pension
  • Performance bonus
  • Promote from within
  • Committed to a diverse team
  • Paid time off
  • 100% remote working
  • Learning & development
  • Health insurance - us employees
  • Healthcare stipend - uk & ireland employees
  • No call fridays

Get hired!

Sign up now and apply for roles at companies that interest you.

Engineers who find a new job through Functional Works average a 15% increase in salary.

Start with GitHubStart with Stack OverflowStart with Email

Get hired!

Sign up now and apply for roles at companies that interest you.

Engineers who find a new job through Functional Works average a 15% increase in salary.

Start with GitHubStart with Stack OverflowStart with Email

Other roles that might interest you

Compiler Engineer - Plutus (Smart Contracts)