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.
  
  

You might thrive in this role if you have:

• Strong background and proven experience with symbolic solvers.
• Deep demonstrable understanding of technology
• Strong awareness of performance vs accuracy tradeoffs
• Proven record of shipping features on time and on budget
• Flexible and focussed on solutions
• Exceptional problem-solving abilities and meticulous attention to detail.
• Strong collaborative skills, with the ability to lead projects and work in a fast-paced setting.
• Organized and self-sufficient

Nice to have

• Experience in Web3, Particularly Ethereum and even better if you know security
• Experience building low-level tools
• Experience as an early eng team member growing a product from 0 to 1
• Design chops
• Have managed other engineers
• Have been a founder before

#LI-REMOTE