-
at the intersection of numerical analysis, uncertainty quantification, and scientific machine learning. The research will primarily focus on probabilistic methods for data-driven model reduction, with
-
proliferation and adaptations. The postdoctoral fellow will lead the development of high-fidelity EV workflows (from plasma and cell models) and establish quantitative nanoparticle- and flow-cytometry-based
Searches related to model checking
Enter an email to receive alerts for model-checking positions