Loading...
Find Job
Telegram Bot
Post Job
Find Job
Telegram Bot
Post Job
Senior Formal Verification Researcher
by
Certora
Facebook
Twitter
Pinterest
LinkedIn
Apply Now
Technical
14 March 2025
work on
cutting-edge technology and challenging problems at the forefront of Web3 applications and technologies
contribute
to unique formal verification technology, the leading way to ensure the behavior of any type of software
experience
a friendly creative start-up environment with top talent in the domain
work in
a fast-paced and supportive culture: we move fast and break nothing!
enjoy
flexible work (remote / hybrid)
get
competitive compensation & benefits (including equity)
Apply Now
Employment Type
On-site
Certora
View profile
Related Jobs
Other similar jobs that might interest you
Sr Sports Trader & Risk Analyst
On-site
Finance
29 November 2025
by
Magic Eden
Software Engineer - Cloud
On-site
Technical
29 November 2025
by
San Francisco Compute Company
IT Support Specialist, Trading Floor
On-site
Customer Support
29 November 2025
by
Ripple
Senior Business Development Manager (TradFi Partnerships)
On-site
Operations
29 November 2025
by
OneBalance
Strategic Partnerships, Financial Services
On-site
Customer Support
29 November 2025
by
Mysten Labs
Client Engagement Specialist, Trading / Exp - Fixed Term
On-site
Customer Support
29 November 2025
by
Kraken
Compliance Analyst
On-site
Non-Tech
29 November 2025
by
SFOX
Senior Website Operations Manager
On-site
Operations
29 November 2025
by
Circle
Trading Operations Associate
On-site
Operations
29 November 2025
by
Kraken
Senior Software Engineer - C++ - Consumer
On-site
Technical
29 November 2025
by
Kraken