Sort by
Refine Your Search
-
18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Post-doc on formal verification and algorithm discovery for numerical analysis About us and
-
design rules. This allows us to shift from the standard imaging question of "what is the structure of this sample?" to "how does the structure differ from the known design?". The second question can
-
optimization for heterogeneous distributed data, and hardware/software codesigned engines for demanding applications. Main duties and responsibilities Work closely with all members of the lab carrying out
-
, and model adaptation strategies. Scalable AI training: distributed training, efficient fine-tuning, evaluation, and deployment on large-scale compute. Multimodal learning: representation learning and
-
? The primary focus will be on algorithm development, followed by their demonstration at synchrotron experiments. You will start working with an existing data acquisition and reconstruction pipeline
-
quantitative and probabilistic extensions, and scalable verification via symbolic automata and related decision procedures Routing algebras: composable, algebraic representations of distributed