1 formal-method Fellowship positions at Hong Kong Polytechnic University

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for formal-method positions

Postdoctoral Fellow

Hong Kong Polytechnic University | Hong Kong | about 14 hours ago

verification and/or formal methods; (c) excellent programming skills in Python and experience with modern AI frameworks (e.g., PyTorch), LLM ecosystems and agent development frameworks; and (d) strong

Searches related to formal method

Enter an email to receive alerts for formal-method positions