Retour aux emplois
XX
Software Engineer - Formal Methods for Blockchain SecurityCertiKNew York, New York, United States

Cette offre d'emploi n'est plus disponible

XX

Software Engineer - Formal Methods for Blockchain Security

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

À propos

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

Compétences linguistiques

  • English
Avis aux utilisateurs

Cette offre a été publiée par l’un de nos partenaires. Vous pouvez consulter l’offre originale ici.