1 model-checking Postgraduate positions at The Chinese University of Hong Kong

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for model-checking positions

Research Assistant Professor

The Chinese University of Hong Kong | United States | about 24 hours ago

., optimization, dynamical systems, graph theory, probabilistic modeling) or adjacent fields with engineering impact. (4) Fluency in prototyping and software development (e.g., Python, C++, CUDA, or ML frameworks

Searches related to model checking

Enter an email to receive alerts for model-checking positions