Job Opportunities

Find jobs near you, whether onsite, hybrid, or remote.
  • Similar Jobs to: Software Engineer - Formal Methods for Blockchain Security
XX
Software Engineer - Formal Methods for Blockchain SecurityCertiKNew York, New York, United States
XX

Software Engineer - Formal Methods for Blockchain Security

CertiK
  • US
    New York, New York, United States
  • US
    New York, New York, United States

About

Certik in New York is seeking a research software engineer to develop automated verification tools for blockchain applications. You will be part of a multinational team working on high-impact projects using advanced techniques in programming language theory. The ideal candidate has a Master's degree in Computer Science or equivalent experience and strong programming skills. The company offers a competitive salary between $115,000 and $230,000, plus benefits like health insurance and flexible paid time off.
#J-18808-Ljbffr
  • New York, New York, United States

Languages

  • English
Notice for Users

This job comes from a TieTalent partner platform. Click "Apply Now" to submit your application directly on their site.