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

Technical Lead for Certification

Remote within
  • GMT (-5/+4 hours)

20 April, 2022

Compensation

Competitive

Remote within

    Timezones
    • GMT (-5/+4 hours)

    Contract type

    Full time
    Remote working

    Technologies & frameworks

    • Scala
    • formal verification
    • Rust
    • Functional Programming
    • Research
    • Haskell
    • TDD

    Benefits & perks

    • Paid sick days
    • Pension
    • Performance bonus
    • Promote from within
    • Committed to a diverse team
    • Paid time off
    • 100% remote working
    • Tokens
    • Learning & development
    • Health insurance - us employees
    • Healthcare stipend - uk & ireland employees
    • No call fridays
    • Company meetups
    Looking for a Lead in verification technologies, such as machine-supported proof, SMT solving, & more.

    Role overview

    We are looking for someone with an excellent background in verification technologies, such as machine-supported proof, SMT solving, and testing, to lead IO’s effort to provide DApp users with assurance about DApp properties and behavior through its certification program.

    IO¬†is¬†building¬†an online store for¬†distributed¬†applications (DApps) on¬†Cardano:¬†(‚Äúthe¬†dAppStore‚ÄĚ).¬†It will be the one-stop-shop for¬†distributed¬†applications on¬†Cardano,¬†providing¬†not¬†only inclusivity across the ecosystem but also assurance about how particular¬†DApps¬†behave. The store will give¬†Cardano¬†users the ability to download, evaluate and review¬†distributed¬†applications that¬†developers¬†have built across the¬†Cardano¬†community.

    As tech lead for certification, you will be responsible for delivery of all technical aspects of certification, initially through taking oversight of external providers and, in due course, potentially leading an internal IO engineering team. Working with the dAppStore team, the product team, and UI/UX designers and researchers, you will devise and maintain a design, implementation, and delivery strategy for certification.

    To be considered as a candidate, you will have an outstanding and sustained record of technology delivery or research with particular experience in the technologies used in certification: automated and property-based testing, model checking, and verification.

    Your mission

    • Delivery¬†of an engineering strategy for the ongoing¬†development¬†of certification of¬†DApps,¬†as a component of the¬†Cardano¬†dAppStore
    • Technical oversight of external¬†teams¬†delivering implementations of components of the¬†dAppStore
    • Liaison with external partners on the provision and certification of audits for¬†Cardano¬†DApps
    • Potentially,¬†leadership¬†of an¬†IOHK¬†engineering¬†team¬†delivering¬†architecture,¬†design, implementation, and maintenance of certification both within the¬†dAppStore¬†and stand-alone
    • Visibility with other¬†IOHK¬†teams¬†and externally to act as an advocate for certification as it is included in the¬†Cardano¬†dAppStore.

    Requirements

    Your expertise

    • At least five years of experience in the field of guaranteeing assurance for software through¬†automated¬†testing,¬†automated¬†decision procedures, formal verification, or other related approaches
    • It would be an advantage if you were to have some¬†team¬†leadership¬†experience.

    Nice-to-haves

    • Knowledge of¬†blockchain
    • Functional¬†programming, particularly as applied in the web domain.

    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 time zones from UTC+2 to UTC-5 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)
    • 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 more than 700 people working in more than 60 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 30 jobs
    Engineers who find a new job through Functional Works average a 15% increase in salary.

    Compensation

    Competitive

    Remote within

      Timezones
      • GMT (-5/+4 hours)

      Contract type

      Full time
      Remote working

      Technologies & frameworks

      • Scala
      • formal verification
      • Rust
      • Functional Programming
      • Research
      • Haskell
      • TDD

      Benefits & perks

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

      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

      IO Global (IOG) is searching for a Technical Director to lead all technical aspects of the Cardano project.
      Remote
      IO Global, creator of the blockchain platform Cardano, is searching for a Senior Haskell Engineer.
      Remote
      Technical Lead for Certification