Sort by
Refine Your Search
-
, Computer Engineering, or a related field. Strong background in smart contract security, blockchain systems, or software security. Experience in program analysis, formal methods, or vulnerability detection
-
undergraduate and postgraduate settings. Qualifications The candidate should possess: A PhD in a relevant discipline Research-Related Experience in undertaking or leading, as appropriate for career stage
-
rigor and reproducibility. Data Analysis and Reporting: Analyze and interpret experimental data using appropriate methods. Prepare research reports, manuscripts, and other scientific documentation
Searches related to formal method phd
Enter an email to receive alerts for formal-method-phd positions