Job description

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

Required profile