557 proof-checking-postdoc-computer-science-logic positions at Hong Kong Polytechnic University
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
- Computer Science
- Economics
- Engineering
- Linguistics
- Medical Sciences
- Business
- Materials Science
- Environment
- Mathematics
- Arts and Literature
- Social Sciences
- Biology
- Humanities
- Electrical Engineering
- Chemistry
- Science
- Education
- Psychology
- Design
- Earth Sciences
- Sports and Recreation
- Statistics
- 12 more »
- « less
-
Department of Aeronautical and Aviation Engineering Head of Department of Aeronautical and Aviation Engineering (Ref. 250507001-IE) In line with the strategic development of the University and to
-
Department of Industrial and Systems Engineering Professor / Associate Professor / Assistant Professor in Advanced Manufacturing Technology / Engineering Management and Logistics / Smart Systems and
-
Department of Civil and Environmental Engineering Research Assistant Professor in Green Chemistry for Biorefinery (Ref. 251112011) The Department of Civil and Environmental Engineering enjoys a high
-
Hong Kong Branch of National Engineering Research Center for Steel Construction Director of Hong Kong Branch of National Engineering Research Center for Steel Construction (Ref. 251022019-IE) [on a
-
the project leader, the Head of Unit or their delegates. Qualifications Applicants should: (a) have an honours degree in Computer Science, Information Security or a related discipline or an equivalent
-
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
-
Department of Land Surveying and Geo-Informatics Research Assistant Professor in Geospatial Artificial Intelligence (GeoAI) / Climate Resilience / Urban Sustainability / Global Change Ecology
-
for the Hall Admission Committee, etc.; (b) provide support to summer letting services, which includes liaising with departments on bookings, arranging group check-in/out procedures, coordinating with
-
booking system; (b) conduct data checking; (c) assist in compiling reports and statistics; and (d) perform any other duties as assigned by the Director of the Office or her delegates