-
the College of Computer & Informatics’ Department of Computer Science seeks a part-time Research Assistant to explore the intersection of Large Language Models (LLMs) and automated planning. The Research
-
months. This project will perform HIV infection on iPSC-derived myeloid cell models in the presence of cocaine, dopamine and a number of pharmacological agents stimulating particular receptors associated
Searches related to model checking
Enter an email to receive alerts for model-checking positions