Details zum Jobangebot
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.
- 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
- 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