Overview

For our client, an Izrael/US Web3 security company and leader in SW verification focusing on the security and correctness of Ethereum smart contracts, we are looking for a Senior Python Developer with a background in Data Engineering.

They are the only company that provides automated prover technology to verify smart contracts with no false alarms, strong formal correctness guarantees, and full automation. Their customers are some of the top DeFi protocol innovators; they develop smart contracts which are small event-driven programs invoked by end-users to execute financial transactions. Bugs in smart contracts can be exploited by malicious users and can lead to losses at the scale of millions or even billions of USDs.

They are offering four products – 1 – Free formal verification of bytecode programs using state-of-the-art technology, 2 – manual auditing powered by formal verification, 3 – premium support for users of our tool, and 4 – Enterprise security for Web3 clients using formal verification and complementary services.

Job description

You will be working on the data backend for an advanced state-of-the-art automated formal verification tool and be part of a small global team.

  • This role is very flexible – you will be responsible for debugging failures in existing code, delivering new features, developing tests, writing public-facing documentation for new features, etc.
  • Architect, design, and develop scalable data pipelines to process and analyze smart contract data
  • Optimize data storage and retrieval processes to support real-time verification and analysis
  • Collaborate with our formal verification team to integrate backend within our products
  • Transform high-level ideas into the concrete deliverables

Requirements

Relevant skills
  • Experience in software development with an emphasis on data engineering and analytics
  • Advanced knowledge of Python
  • Experience with ASGI/WSGI frameworks like Litestar, Flask, or FastAPI is nice to have
  • Knowledge of SQL databases
  • Experience with cloud environments – We are using AWS but experience with alternatives is enough
  • Experience with code reviews (providing meaningful and thorough feedback) and distributed version control
  • Good communication skills and ability to raise flags when progress is halted

We offer

  • Flexible working hours with HO options
  • Small, agile, and friendly environment
  • You will work with top professionals in the field of Mathematics and Computer Science in a fast-growing blockchain/web3 security company
  • Opportunity to work on cutting-edge and challenging problems and State-of-the-art products
  • Unlimited vacation
  • Flexible working hours inside of European time zone
  • Possibility to attend blockchain and formal verification-related conferences all around the world, or to visit other teams (mainly US and Israel)

Tagged as:

About Manpower

Driving business success. Accelerating personal success.

For more than 70 years, Manpower has been dedicated to enriching people’s lives with meaningful employment and development opportunities, and providing companies with innovative workforce solutions that help them increase agility, improve productivity and boost the bottom line. We started with a single office as a temporary staffing service – perhaps the first business of its kind. Today, all around the world, we provide this service and so much more, including permanent placement, workforce programs and workforce insight and innovation – all designed to optimize human potential and provide businesses with a key competitive advantage.

We began as an industry pioneer. And we remain at the forefront as a recognized thought leader in the changing world of work. With our global presence and local expertise, and by leveraging the peerless expertise of our parent company, ManpowerGroup, we influence how people and companies work now and how they will work in the future. Few companies can match Manpower’s history of growth – or our continued progress as we enter the Human Age.

Take a look at where we’ve been and who we are today. Our presence. Our leaders. Our vision and values. You’ll see an unwavering commitment to our clients’ and candidates’ success.