Sort by
Refine Your Search
-
or animals), animal pose estimation from video (e.g., cows or horses), and plant phenotyping. Modeling microbial and environmental data, with a focus on microbial communities in soil and plants, integrating
-
/model checking, probabilistic or timed systems, automated theorem proving (Isabelle, Coq). Besides, we strongly appreciate experience with developer activities as described below. Developer: Your tasks
Searches related to model checking
Enter an email to receive alerts for model-checking positions