Symbolic Solver Engineer

3 days ago

🇬🇧 United Kingdom – Remote

⏰ Full Time

🟡 Mid-level

🟠 Senior

Web3

Apply Now

• 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

Apply Now