Posted on Jan 24

Formal Methods Researcher
fulltime

Blockchain Services Company
Category
Education / Research / Teaching
Region
Anywhere (Africa/Worldwide)
Skills
C++RustCommunicationResearch
Job description We are seeking a Formal Methods Researcher to join our team and help design and build new methodologies for verifying the security of ZK technologies. As a ZK researcher at V

Related Jobs

I

Internet Software & Services Company

Junior Linguistics Expert - Freelance AI Trainer

Summary Please submit your resume in English and indicate your level of English

Mar 28

I

Internet Software & Services Company

Mechanical Engineer & Python Expert - Freelance AI Trainer

Summary Please submit your CV in English and indicate your level of English prof

Mar 28

I

Internet Software & Services Company

Mathematics & Python Expert - Freelance AI Trainer

Summary Please submit your CV in English and indicate your level of English prof

Mar 28

I

Internet Software & Services Company

Civil Engineer & Python Expert - Freelance AI Trainer

Summary Please submit your CV in English and indicate your level of English prof

Mar 28

I

Internet Software & Services Company

Chemistry & Python Expert - Freelance AI Trainer

Summary Please submit your CV in English and indicate your level of English prof

Mar 28

View all Jobs
Subscribe to Premium

Join our premium membership

  • Find a better job, faster!
  • Hand-screened jobs
  • No ads, scams, junk
  • Quality job search support
  • Quality Career Resources / Coaching
  • Resume Evaluation Tool
  • Job Fit Analysis and Support Tool
Need a Professional CV/Resume?

Want a CV/resume that stands out? Use CVHack to create a professional, ATS friendly resume in minutes. Showcase your strengths, skills and start getting interviews.

Unsure About Your Next Career Step?

Get personalized guidance! Our AI Career Coach helps you explore potential paths, identify skill gaps, and create a roadmap for your future.

Copyright © Boolean Limited 2026. Terms Privacy