2 software-formal-method-phd positions at National Taiwan University in Taiwan

  • , Power and High-Frequency Devices •Malware Analysis, Network Security, IoT Security, Secure Software and testing, Secure Coding, Cyber-physical Security •SoC Design (AI/ML Chips, Embedded Processor/Memory

  • for interviews and external review of publications, followed by evaluation through three levels of faculty review committees. Formal offers will be extended upon approval. * At the applicant's request, the Center

Enter an email to receive alerts for software-formal-method-phd positions