Oglasi za posao Software Engineer (Marlowe)
Oglas je preuzet sa sajta poslodavca i sajt HelloWorld ne garantuje njegovu ažurnost.

Software Engineer (Marlowe)

Input Output (IOHK)

Remote

26.07.2022.

Description

IO Global is searching for a Software Engineer to join the Marlowe team. Marlowe is a special-purpose language for financial contracts that will run on Cardano. A unique selling proposition of Marlowe is that users can assure themselves of the properties of contracts/templates before deploying and running them, thanks to symbolic execution and formally verified guarantees. Authoring contracts is also supported in a visual programming environment and through embeddings in JavaScript and Haskell.

The Marlowe suite has a number of components. The website introduces Marlowe and gives access to the other components. Marlowe Playground presents developers with a consistent, attractive UX for authoring Marlowe contracts in multiple ways, as well as giving them facilities to simulate, analyze, and evolve Marlowe contracts and contract templates. Marlowe Market will give users access to contract templates that can be assessed, browsed, downloaded, and executed in Marlowe Run and modified in Marlowe Build. All these components are built in a modern web development stack.

This new Software Engineering role will support backend development for Marlowe Market and enhancement of Marlowe Run and Marlowe Playground, leading to a deployment on the Cardano blockchain in late 2022.

The current team comprises three backend engineers, three frontend engineers, a test engineer, a UX/UI designer, a systems engineer, a project manager, a product manager, and a team lead.

Your mission

  • Work with software engineers, designers, product managers, dev ops, and test engineers to deliver web-based solutions to requirements from the Marlowe suite
  • In partnership with the team lead, take a key role in building backend solutions for products in the Marlowe Suite: the website, Marlowe Run (end user client DApp), Marlowe Build/Playground (for authoring, simulating, and analyzing Marlowe contracts), and the Marlowe Market (for up/download of Marlowe contracts)
  • Working with the Marlowe team, reflect on the design of Marlowe and support its evolution and further development
  • Work in collaboration with external stakeholders, including the Cardano DApps team and the creative team
  • Design and create code, tests, supporting documentation, and teaching materials for face to face and online presentation.

Requirements

Your expertise

  • At least 3 years experience in functional programming, ideally in Haskell, but it could also be in Scala, F#, or Ocaml
  • Desirable – knowledge of type theory, dependent types, category theory, and experience with language design and static analysis
  • Plus – some familiarity with servant, ps-bridge, Nix, PureScript, or others, plus web frontend technologies (like HTML and the DOM, CSS, and JavaScript, or things that compile to JavaScript)
  • Also, we would value knowledge of architectural patterns, and experience designing distributed, decentralized, scalable, fault-tolerant, and highly-available systems.

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 GMT+2 to GMT-4 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

Upoznaj kompaniju Input Output (IOHK)

O Kompaniji Poslovi

Input Output HK je kompanija za istraživanje i razvoj i lider u industriji na polju kriptografije i distribuiranih sistema. Otkako je kompanija osnovana 2014. godine, bila je pionir na novoj teritoriji u blockchain istraživanju, unapređujući znanje o industriji koji je proizveo njen tim kriptografa i istraživača.

Slični poslovi