BeverlyHillsRecruiter Since 2001
the smart solution for Beverly Hills jobs

Software Engineering Lead

Company: WorksHub
Location: Beverly Hills
Posted on: January 8, 2022

Job Description:

Software Engineering Lead - Plutus - RemoteIOHK Remote - Worldwide 05 September, 2021 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 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
        • Remote work - ability to work anywhere
        • 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 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'. Engineers who find a new job through Functional Works average a 15% increase in salary. 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. SundaeSwap, the largest Cardano DEX project is seeking a Senior Haskell Engineer. Looking for an awesome Haskeller! Senior and junior positions available. Help build something seriously important for the world with chilled people

Keywords: WorksHub, Beverly Hills , Software Engineering Lead, IT / Software / Systems , Beverly Hills, California

Click here to apply!

Didn't find what you're looking for? Search again!

I'm looking for
in category
within


Log In or Create An Account

Get the latest California jobs by following @recnetCA on Twitter!

Beverly Hills RSS job feeds