Create New Account
Sign up to continue searching for suitable jobs in Web 3.0

OR
Terms of Use
Already have an account?

Log In to Your Account
Log in to continue searching for suitable jobs in Web 3.0

OR
Donā€™t have an account?
IO Global
Formal Methods Engineer
atĀ IO Global
4 months ago | 167 views | 1 applications

Formal Methods Engineer

Full-time
Remote

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.

Salaries for similar jobs:

Similar jobs

about 9 hours ago | 8 views | Be the first one to apply
Full-time
New York
about 9 hours ago | 0 views | Be the first one to apply
Full-time
Europe
about 9 hours ago | 10 views | Be the first one to apply
Full-time
Singapore
about 9 hours ago | 14 views | Be the first one to apply
Full-time
Medellin, Remote
$104,000 To $106,000 per year
1 day ago | 21 views | Be the first one to apply
Full-time
Greece