Symbolic Solver Engineer
We’re searching for an experienced Symbolic Solver Engineer to join our team at GatlingX to enhance our GPU-EVM in order to increase the capability. As an early GatlingX hire, you will establish the foundation of our Security Tooling using symbolic solvers.
Responsibilities
- 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.
Requirements
- 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
Bonus
- 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
Benefits
- Ground floor opportunity – depending on the candidate, this role has strong potential to turn into a leadership position
- Technically challenging, cutting edge and intellectually stimulating product
- Competitive compensation and benefits
- Major industry conferences and events covered
- Remote-first, with a hub in the UK
- Flexible work schedule