Sort by
Refine Your Search
-
Category
-
Country
-
Program
-
Field
-
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
-
containers and dependencies for execution on Alps / CSCS infrastructure. Run and monitor Slurm-based training and evaluation jobs. Debug failures related to distributed execution, checkpointing
-
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
-
Correlation and Distributed Fibre Optic Sensing), as well as strong links to international collaborators and industry partners. Main duties and responsibilities As a PhD candidate, you will be
-
quantitative and probabilistic extensions, and scalable verification via symbolic automata and related decision procedures Routing algebras: composable, algebraic representations of distributed
-
research domains at the intersection of AI and formal methods Good team spirit and enthusiasm for working in a distributed, multi-institution team We offer A stimulating and international working
-
incorporate the known design information into the imaging process? The primary focus will be on algorithm development, followed by their demonstration at synchrotron experiments. You will start
-
? 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
-
storage. Electrolyte solutions are commonly described as homogeneous mixtures in which ions are statistically distributed. However, it is well known from theoretical considerations in the 1930’s that