-
consensus. The successful candidate will develop the algorithmic foundations of this framework—making the motion-generation stack modular and heterogeneous (combining model-based control with learning-based
-
. The scientific objectives include constraining cosmological and astrophysical models, extracting information from small scales through SBI, both as standalone probes and in combination. More specifically, the
Searches related to model checking
Enter an email to receive alerts for model-checking positions