Job Information
Certified Kernel Tech LLC (CertiK) Staff Software Engineer in New York, New York
(1) Manage a team to develop a cloud-based security scanning platform & integrate simulation environment/API services for blockchain system audit/analysis;(2) Research & implement proprietary verification engine for formal reasoning of blockchain system correctness on top of formal verification/static analysis/fuzzing, etc.;(3) Develop feature modules for security-focused blockchain protocol & maintain corresponding infrastructure;(4) Build heuristics-based vulnerability detection tools & construct defects databases;(5) Perform security audit/economic assessment for public/private blockchain/smart contract systems;(6) Aggregate data within various blockchain aspects & analyze with different statistical/machine learning methods for security pattern extraction.Req: MS in Computer Science/Engineering or a related field; Advanced knowledge of compiler construction/programming language design; High expertise in security evaluation/statistical reliability analyses for blockchain software systems; Strong skills in high-dimensional data analysis/probabilistic inference/machine learning; Proficient in Python/Typescript/Golang/OCaml/Docker/Kubernetes/Vagrant & Cloud Infrastructure (AWS/ GCP).Salary: $183,500 - $200,000 / yearApply: jobs@certik.com
Minimum Salary: 183500 Maximum Salary: 200000 Salary Unit: Yearly