Senior Frontend Developer – Full Remote – Unlimited Budget
For our client, an Izrael/US company and leader in SW verification focusing on the security and correctness of Ethereum smart contracts, we are looking for a Senior Frontend Developer.
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 developing next-gen formal verification techniques to help top DeFis gain confidence in their contracts.
We are looking for a Senior Frontend Developer who will be able to lead a small team of FE Developers. You will develop a Prover user-facing facade, making an extremely sophisticated piece of software accessible to end-developers. You will work closely with the rest of the development and product groups especially the Prover engine and Usability teams, to gain an understanding of the Prover and the gaps end developers face while using it. In addition, you will be the technical focal point for the web frontend developers who are building auxiliary solutions around the Prover ecosystem, delivering easy-to-use products to our users – developers, and auditors in the web3 world.
Guide and lead technically a group of frontend developers in choosing the correct and suitable technologies, coding practices and code review.
Ability to plan and create complex UI according to product & design specs
Well-versed in coding best practices, agile methodologies, CI/CD, testing
Experience working on complex systems and products in STEM fields
Small, agile, and friendly team
Opportunity to work on cutting-edge and challenging problems
Flexible working hours
Possibility to attend blockchain and formal verification-related conferences all around the world, or to visit other teams (mainly US and Israel)