-
extensions, and scalable verification via symbolic automata and related decision procedures Routing algebras: composable, algebraic representations of distributed routing protocols, as a principled basis for
-
spirit and enthusiasm for working in a distributed, multi-institution team We offer A stimulating and international working environment Excellent working conditions Opportunity to perform state-of-the-art
-
distributed data, and hardware/software codesigned engines for demanding applications. Main duties and responsibilities Work closely with all members of the lab carrying out excellent research Supervise
-
. Scalable AI training: distributed training, efficient fine-tuning, evaluation, and deployment on large-scale compute. Multimodal learning: representation learning and generative modeling across heterogeneous