Oglas je preuzet sa sajta poslodavca i sajt HelloWorld ne garantuje njegovu ažurnost.
Job listing has been deactivated.

Haskell Software Engineer (Ledger team)

Input Output (IOHK)

Remote
Intermediate

Description

We are looking for an experienced Haskell Software Engineer to join our fantastic Ledger team. You will be working on features being added to the Cardano blockchain, which usually involve changes to the ledger. Features originate with our researchers, are turned into a formal specification, and are then implemented in Haskell by the Ledger team.

Your mission

You will be a friendly, hard-working, self-motivated individual who is excited about using advanced Haskell features and open to working with formal specifications. You will help implement features, such as decentralized governance, decentralized updates, and scalability, on the Cardano ledger. This work includes property tests. The Cardano our code base makes heavy use of Haskell’s type classes and type families, so experience with these, or the ability to pick them up, is crucial.

In your day-to-day duties s a Software Engineer you will:

  • Follow agile software development practices
  • Work with teams across time zones
  • Work independently on software development tasks
  • Be proactive and require minimal supervision or mentoring to complete 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 software
  • Write documentation for the code
  • Write technical user manuals
  • Improve your knowledge of distributed and concurrent computation
  • Improve your knowledge of the basics of cryptography.

Requirements

Your expertise

  • Experience with Haskell, particularly type classes and type families
  • Experience with Nix is a big advantage.
  • Able to work on a complex system and have an aptitude for simplifying complexities
  • Good communication skills, both written and spoken

Deadline for applications: 13.09.2021.

Oglas više nije aktivan. Promeni kriterijume pretrage ili pogledaj slične oglase.

Posao Software Developer / Programmer / Engineer (183 oglasa)

Sortiranje:
PREMIUM

Lead Programmer

ONLINE INTERVJU

Ubisoft

Beograd
09.10.2021.
ONLINE INTERVJU

Junior Automotive Software Developer

ONLINE INTERVJU

RT-RK d.o.o.

Beograd, Novi Sad
15.10.2021.
ONLINE INTERVJU

Senior Systems Engineer

SIGMA World`s Gaming festival

Belgrade
29.09.2021.

React Developer

DeFi Network

Rad od kuće
28.09.2021.

Senior WordPress Web Developer Wanted - Full Time or Part Time

Mold Busters

Remote
10.10.2021.
1.000 - 3.000 USD (mesečna plata)

Senior Software Developer - Voice Chatbot Development

Mold Busters

Remote
10.10.2021.
1.000 - 5.000 USD (mesečna plata)

Medior React Developer

ONLINE INTERVJU

Neotech Solutions

Belgrade, Remote
09.10.2021.
ONLINE INTERVJU
Copyright © 2021 ·
Made with in Subotica.
Sadržaj sajta je u vlasništvu kompanije HelloWorld. Zabranjeno je njegovo preuzimanje bez dozvole.

Postavi pitanje poslodavcu

Prosledićemo tvoj upit poslodavcu samo ako je u vezi sa oglasima za posao na našem sajtu, apliciranjem na iste, praksom u datoj kompaniji i slično.
Čim dobijemo odgovor, poslaćemo ti ga na e-mail.
Uspešno
Neuspešno urađena operacija
Prijavi se u svoj nalog
Zaboravljena šifra?

Nisi registrovani korisnik? Napravi nalog ili se prijavi putem društvenih mreža.



Prijava putem društvenih mreža

Kontaktiraj nas

Tvoja poruka će biti prosleđena timu HelloWorld.rs, a ne poslodavcu.

Potvrdi

Greška