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.
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.
Kontaktní osoba: | David Veverka |
E-mail: | david.veverka@manpower.cz |
Při odpovědi uvádějte, že reagujete na inzerát zveřejněný na Personálka.cz. Pokud je v inzerátu uveden preferovaný způsob komunikace, respektujte ho.
Zaujala vás tato pracovní nabídka? Zašlete si ji do e-mailu, abyste inzerát nemuseli znova hledat.