171 formal-verification-computer-science positions at Hong Kong Polytechnic University
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
Department of Land Surveying and Geo-Informatics Research Associate / Research Assistant (Ref. 251119006) [Appointment period: six months initially, with possibility of further appointment] Duties
-
Department of Logistics and Maritime Studies Postdoctoral Fellow (Ref. 251126002) [Appointment period: twenty-four months] Duties The appointee will assist the project leader in the research project - “The influence of maritime industry activities on residents’ maritime culture awareness in the...
-
Department of Industrial and Systems Engineering Postdoctoral Fellow (Ref. 251121010) [Appointment period: nine months] Duties The appointee will assist the project leader in the research project
-
) have solid computer science fundamentals, and proficiency in Python programming; (c) be skilled in common databases, with strong operational and maintenance abilities; (d) have excellent
-
Department of Electrical and Electronic Engineering Postdoctoral Fellow (Ref. 251117010) [Appointment period: eight months] Duties The appointee will assist the project leader in the research
-
–Computer Interaction (HCI), Computer Science or an equivalent qualification; (b) knowledge of design, education or HCI related research methods; (c) an excellent command of spoken English and Chinese
-
Department of Language Science and Technology Part-time Project Assistant (two posts) (Ref. 251121017) [Appointment period: each for six months] Duties The appointees will assist the project leader
-
Department of Health Technology and Informatics Research Assistant (two posts) (Ref. 251107004) [Appointment period: each for three months] Duties The appointees will assist the project leader in
-
Department of Health Technology and Informatics Part-time Research Assistant (Ref. 251014024) [Appointment period: six months] Duties The appointee will assist the project leader in the research
-
Department of Health Technology and Informatics Part-time Research Assistant (Ref. 251014025) [Appointment period: six months] Duties The appointee will assist the project leader in the research