Remote Symbolic Solver Engineer

We are hiring for one of our ecosystem projects. The company is a Venture-backed deeptech startup, solving one of the hardest technical problems in the world, by innovating on the entire stack down to bits and bytes.We are searching for an experienced Symbolic Solver Engineer to join their team to enhance their GPU-EVM in order to increase the capability. As an early hire, you will establish the foundation of their Security Tooling using symbolic solvers.If you are passionate and enthusiastic about the web3 industry, come and join our team!In This Role, You Will

• Establish and lead the implementation of Symbolic Guidance Systems
• Monitor system performance, proactively identify issues, and ensure overall health and security.
• Stay updated with the latest symbolic solver and security trends, applying them continually to improve our processes.
• Create and maintain technical documentation for internal and external use.
• Balance speed and quality, with a focus on tangible results.