🔒Открыть пост
и посмотреть медиа
и посмотреть медиа
#compiler #remote #haskell #agda
Compiler Engineer - Plutus
REMOTE
Engineering
Full time
IO Global, creator of the blockchain platform Cardano, is searching for a Compiler Engineer to join its Plutus team. The Plutus team is building the core of Cardano’s smart contract functionality on the bedrock of functional programming languages. This interdisciplinary team carries out original R&D and turns the results into production systems
In the past few years, the Plutus team has:
• Designed and implemented three programming languages
• Formalized the semantics of two of those languages using Agda
• Improved the ability of Agda to generate usable Haskell output
• Created novel compilation techniques for data types
• Written a proposal for the Glasgow Haskell Compiler (GHC), on which implementation work is now being carried out
• Implemented a compiler for a subset of Haskell as a GHC plug-in
As a Compiler Engineer you are responsible for writing high-quality code. To support you, our products have software architects, product managers, project managers, formal methods specialists, and QA test engineers, with whom you must communicate professionally, effectively, and efficiently.
Details
Ссылка скрыта