-
of complex epidemiological and genetic data, in computational and population health sciences and in disease risk-modelling and risk-prediction. Eligibility criteria The project will suit students with strong
-
the Unconventional Communications and Computing Laboratory (UC2), led by Dr Michael T. Barros, which develops modelling and algorithmic methods for networked communication and computation under real-world constraints
-
studies and interactive AI systems. This position will be funded based on an initial 2-year contract + 2 years extension. The key idea is to apply theories, models, and methods from psychology to improve
Searches related to model checking
Enter an email to receive alerts for model-checking positions