84 proof-checking-postdoc-computer-science-logic Fellowship research jobs in Hong Kong
Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
, Ethics, Journal of Philosophical Logic, Mind, Noûs, Philosophers’ Imprint, Philosophical Quarterly, Philosophical Studies, Philosophy and Phenomenological Research, and Philosophy of Science. The
-
leading journals in the field, such as Analysis, Australasian Journal of Philosophy, British Journal for the Philosophy of Science, Ethics, Journal of Philosophical Logic, Mind, Noûs, Philosophers’ Imprint
-
Ref.: 532210 Work type: Full-time Department: School of Biomedical Sciences (22600) Categories: Senior Research Staff & Post-doctoral Fellow Applications are invited for appointment as Postdoctoral
-
leading journals in the field, such as Analysis, Australasian Journal of Philosophy, British Journal for the Philosophy of Science, Ethics, Journal of Philosophical Logic, Mind, Noûs, Philosophers’ Imprint
-
Institute of Data Science. General Requirements Candidates should have (i) a PhD degree in Data Science, Artificial Intelligence, Computer Science, Computer Engineering, or a relevant discipline; (ii) a good
-
] Duties The appointee will assist the project leader in the research project – “Leveraging the power of urban informatics for policy making – a proof-of-concept study for futureproofing communities
-
undergraduate teaching is in the context of an inter-disciplinary social sciences programme, where students can opt for different discipline majors or interdisciplinary areas of interest. The Department also
-
, Computer Science and must have no more than five years of post-qualification experience at the time of application; (b) have research experience in multimodal data fusion, video / image processing, and structural
-
preliminary research on the application of brain-computer interface technology in enhancing tourism experiences for families with ASD children”. Qualifications Applicants should have: (a) a doctoral degree
-
Department of Applied Mathematics Senior Research Fellow (Ref. 250903007) [Appointment period: four months] Duties The appointee will assist the project leader in the research project - “Mathematical and numerical analysis for the decoupled finite element methods for the two phase MHD flows with...