178 proof-checking-postdoc-computer-science-logic research jobs at Hong Kong Polytechnic University
Sort by
Refine Your Search
-
Listed
-
Program
-
Field
-
Department of Land Surveying and Geo-Informatics Research Assistant Professor in Geospatial Artificial Intelligence (GeoAI) / Geomatics / Global Change Ecology / Urban Science and Sustainability
-
. 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
-
representation for multi-model fusion”. Qualifications Applicants for the Postdoctoral Fellow post should have a PhD degree in Computer Science, Electrical and Computer Engineering or a related discipline or an
-
project - “Financial support for book writing”. Qualifications Applicants should have: (a) a doctoral degree in Computer Engineering or a related discipline plus at least six years of postdoctoral
-
, Computer Engineering, Electronic Engineering, Automotive Engineering, Aerospace Engineering or a related discipline plus at least six years of postdoctoral research experience or equivalent qualifications
-
Department of Computing Research Assistant (Ref. 260414011) [Appointment period: twelve months] Duties The appointee will assist the project leader in the research project – “A multimodal
-
Department of Land Surveying and Geo-Informatics Research Assistant Professor in Geospatial Artificial Intelligence (GeoAI) / Climate Resilience / Urban Sustainability / Global Change Ecology
-
Department of Language Science and Technology Research Assistant (Full-time/Part-time) (Ref. 260414009) [Appointment period: four months] Duties The appointee will assist the project leader in
-
for the Research Associate post should have a Master’s degree in Electrical and Electronic Engineering / Mechanical Design, Manufacturing and Automation / Precision Instrument / Biomedical Engineering / Computer Science
-
Department of Electrical and Electronic Engineering Postdoctoral Fellow (Ref. 260416009) [Appointment period: twenty-four months] Duties The appointee will assist the project leader in the research