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.

• 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

• 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