Sort by
Refine Your Search
-
Listed
-
Category
-
Field
-
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
-
dependencies for execution on Alps / CSCS infrastructure. Run and monitor Slurm-based training and evaluation jobs. Debug failures related to distributed execution, checkpointing, filesystem performance
-
. Scalable AI training: distributed training, efficient fine-tuning, evaluation, and deployment on large-scale compute. Multimodal learning: representation learning and generative modeling across heterogeneous