171 software-formal-method-phd "https:" positions at Hong Kong Polytechnic University
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
. Qualifications Applicants should: (a) have a PhD degree in Engineering with expertise in learning based control, data driven control, formal methods and temporal logic control, autonomous control, verification
-
Department of Electrical and Electronic Engineering AI / Web Developer (Full-time/Part-time) (several posts) (Ref. 251110003) [Appointment period: each for eight to thirty-six months] Duties
-
. Please visit the website at http://www.polyu.edu.hk/ise for more information about the unit. Duties The appointees will be required to: (a) conduct high-impact research in the areas of Smart
-
pursues interdisciplinary research that integrates core domains of linguistics with computational methods such as artificial intelligence and big data analytics, seeking to generate outcomes with
-
teaching laboratories. Please visit the website at https://www.polyu.edu.hk/lsgi/ for more information about the Department. The Department is seeking a highly motivated and suitably qualified individual
-
to meet specific industry needs. Please visit the website at http://www.lms.polyu.edu.hk for more information about the Department. Duties The appointee will be required to: (a) undertake teaching
-
to meet specific industry needs. Please visit the website at http://www.lms.polyu.edu.hk for more information about the Department. Duties The appointee will be required to: (a) undertake teaching
-
to meet specific industry needs. Please visit the website at http://www.lms.polyu.edu.hk for more information about the Department. Duties The appointee will be required to: (a) initiate, lead and
-
at https://www.sd.polyu.edu.hk/en/ for more information about the School. The Design discipline at the School takes a sustainable and humanistic approach which aims to expand the scope of traditional design
-
-on experience with statistical software (e.g., R, Stata, Python, or SPSS, MPLUS); (e) have strong skills in data cleaning, visualisation and analysis; and (f) be highly motivated and detail-oriented