Software Engineer - Formal Methods for Blockchain SecurityCertiK • New York, New York, United States

This job offer is no longer available

Software Engineer - Formal Methods for Blockchain Security

CertiK

New York, New York, United States

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 was posted by one of our partners. You can view the original job source here.

Find similar jobs