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

Software Engineering Lead - Plutus - Remote

Remote | Worldwide

20 September, 2021

Compensation

Competitive

Contract type

Full time
Remote working

Technologies & frameworks

  • Haskell
  • Research
  • Smart Contracts
  • plutus

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
We are searching for a Lead Haskell Engineer to lead our Plutus team

Role overview

We are searching for a Software Engineer to lead our Plutus team. The Plutus team is building the core of Cardano’s smart contract functionality on the bedrock of functional programming languages. We are an interdisciplinary team who do original R&D and turn it 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
  • Helped to improve the ability of Agda to generate usable¬†Haskell¬†output
  • Created novel compilation techniques for¬†data¬†types
  • Written a GHC proposal, which is now being taken into implementation work
  • 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 the¬†Cardano¬†ledger¬†extensions to support¬†smart¬†contracts.

Such a heady and complex mixture of research, development, and design work needs a competent leader to keep it all working well. If that sounds like fun to you, drop us a line!

Your mission

As a leader at IOG your mission is to motivate and develop your team members. You will empower your team to provide the best results by organizing clear processes and coordinating team efforts as your top priority.

Day to day, you will work with functional programming languages research. You will understand the technical issues involved enough to make decisions, if not necessarily in full detail.

You will be comfortable with research. That includes research work itself (including writing papers); engineering work that relies on research; and working with the researchers themselves.

Here are some examples of the duties:

  • Follow¬†agile¬†software development practices
  • Work with¬†teams¬†across time zones
  • Work¬†independently¬†on software development tasks
  • Review specifications produced by¬†architects¬†and formal methods specialists
  • Contribute to the design of¬†algorithms
  • Write clean, straightforward, efficient¬†code¬†that satisfies acceptance criteria and specifications
  • Commit often and submit small pull¬†requests¬†frequently
  • Cover your¬†code¬†with unit, property and integration¬†tests¬†when applicable
  • Review the pull¬†requests¬†of your¬†team¬†mates
  • Fix¬†bugs¬†in your¬†own¬†code¬†and in¬†legacy¬†code¬†from others
  • Be available for emergency fixing of severe issues on¬†deployed¬†products
  • Integrate software components and¬†third-party libraries
  • Verify and¬†deploy¬†programs and systems
  • Troubleshoot,¬†debug¬†and upgrade existing software
  • Write¬†documentation¬†for the¬†code
  • Write technical user¬†manuals
  • Update your knowledge of¬†distributed¬†and¬†concurrent¬†computation.

Requirements

Your expertise

  • A¬†background¬†in academia or industrial R&D is a bonus; however, self-taught is also great!
  • A strong people¬†leader¬†who is friendly, supportive, and compassionate to colleagues.
  • Experience working with Git and Git workflow
  • Practical experience with¬†Agile¬†software development methods
  • Significant¬†Haskell¬†experience

Benefits

Location

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

All Colleagues

  • Flexible schedule
  • Remote work - ability to work anywhere
  • Laptop reimbursement
  • New starter package to buy hardware essentials (headphones, monitor, etc)
  • Udemy for Business
  • 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 40 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

  • Haskell
  • Research
  • Smart Contracts
  • plutus

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

SundaeSwap, the largest Cardano DEX project is seeking a Senior Haskell Engineer.
Remote
Looking for an awesome Haskeller! Senior and junior positions available.
Remote
Software Engineering Lead - Plutus - Remote