13 model-checking Fellowship research jobs at The University of Queensland in Australia
Sort by
Refine Your Search
-
for disease prevention and control. ODeSI has extensive experience in operational research and field surveys (including international projects), predictive risk mapping and modelling (spatial epidemiology
-
of artificial intelligence, Human-Computer Interaction, and human-centred computing. The position focuses on developing and evaluating computational models for recognizing, interpreting, and measuring human
-
and build a strong emerging research profile in Information Retrieval, Natural Language Processing and Large Language Models, with a focus on transformative applications in the healthcare domain. At UQ
Searches related to model checking
Enter an email to receive alerts for model-checking positions