17 software-formal-method-phd Fellowship positions at Hong Kong Polytechnic University
Sort by
Refine Your Search
-
the surface interface and structure-activity correlations in zeolites”. Qualifications Applicants should have: (a) a PhD degree in Chemistry, Chemical Engineering, Materials Science or a related discipline
-
-logging development, software integration, and research reporting. For the post of Postdoctoral Fellow, the appointee will also be required to lead the biorefinery experiments, AI tool development, data
-
statistical software such as Mplus, Stata, or R; (h) be familiar with statistical methods including autoregressive models, structural equation modeling (SEM), dynamic SEM, psychological network analysis.; (i
-
should have a PhD degree or an equivalent qualification and must have no more than five years of post-qualification experience at the time of application. For the post of Research Associate, applicants
-
Postdoctoral Fellow, applicants should have a PhD degree or an equivalent qualification and must have no more than five years of post-qualification experience at the time of application. For the post of Research
-
with coherent nanoprecipitates”. Qualifications For the post of Postdoctoral Fellow, applicants should have a PhD degree or an equivalent qualification and must have no more than five years of post
-
architectures”. Qualifications For the post of Postdoctoral Fellow, applicants should have a PhD degree or an equivalent qualification and must have no more than five years of post-qualification experience
-
project - “Oracle complexity bounds of first-order methods for nonsmooth optimization with nonconvex function constraints”. They will be required to conduct theoretical analysis, algorithm implementation
-
should have a PhD degree plus at least six years of postdoctoral research experience or equivalent qualifications and experience in Computer Science or a related discipline. Applicants for the Research
-
from rich multimodal demonstration data; (b) conduct research on skill composition for complex long-horizon tasks; (c) develop methods for atomic skill retrieval and representation; (d) develop