2 model-checking PhD positions at Institute of Cellular Biology and Pathology "Nicolae Simionescu" in France
-
Language Models for Surgical Activity Understanding Description: The operating room is a high-tech environment in which surgical devices generate a lot of data about the underlying surgical activities. Our
-
role in models of pulmonary disease. The research is embedded in a Franco–Brazilian collaboration at the interface of immunology and structural biology, providing exposure to complementary expertise and
Searches related to model checking
Enter an email to receive alerts for model-checking positions