Welcome to CertiK
2018年に設立されたブロックチェーンセキュリティ企業CertiKは、形式検証とAI技術を組み合わせたエンドツーエンドのブロックチェーンセキュリティ監査サービスを提供しています。同社は形式的検証と手動検証を組み合わせることで、スマートコントラクトの安全性を数学的に検証します。さらに、同社は「CertiK Chain」を開発しました
KIKI Doe
仕事の環境が良好でチームワークが素晴らしい一方、給料は期待ほど高くないため、満足度が上がらない。
CertiK
RemoteWeb3の世界を守る
Available Jobs
CertiK's Reviews
Munchee Doe
The innovative use of AI and formal verification in blockchain security is impressive, making the work environment engaging, though the salary might be increased to match industry standards.
ZOU Doe
Die Arbeitsumgebung bietet gute Benefits und Sicherheit in der Blockchain-Sicherheitstechnologie, aber die berufliche Entwicklung ist langsamer als gewünscht, was die Motivation beeinträchtigt.