About the company
IO Global 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ā.
Job Summary
Requirements
šUnderstanding of Plutus smart contracts and the Cardano blockchain. šProven experience in requirement elicitation. šStrong understanding of safety and threat analysis methodologies. šStrong critical thinking skills to challenge specifications. šAbility to identify and mitigate security vulnerabilities. šExperience with property-based testing. šExcellent problem-solving and analytical skills. šStrong communication and collaboration skills. šAbility to communicate complex technical concepts effectively. šStrong organizational and time management skills. šAttention to detail and ability to work in a fast-paced environment. šDegree in computer science, threat analysis, mathematics or a related field or equivalent experience.
Your expertise
šProven experience in negotiating and challenging requirements and specifications using techniques such as safety and threat analysis. šStrong experience in writing unambiguous and observable properties. šExperience with functional programming languages, particularly Haskell. šExperience in writing/analyzing Plutus smart contracts in either PlutusTx or PlutArch. šPrevious experience in blockchain and smart contracts security. šFamiliarity with formal verification techniques. šUnderstanding of discrete mathematics and formal logics. šContributions to open-source projects related to blockchain technology. šExperience with Github. šGood understanding of QuickCheck and property-based testing.