Sort by
Refine Your Search
-
than 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 our
-
algorithms to store, manage, and interpret data. To meet the challenges, database software needs to communicate efficiently both with the application layer and with the underlying hardware platforms, and
-
on developing new generative modeling approaches, scalable training algorithms, and foundation model technologies. The role is suited for candidates with a strong machine learning background who are excited
-
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
-
temporal resolution, spatial resolution, and radiation dose trade against one another, and what semiconductor dynamics can be observed? The primary focus will be on algorithm development, followed by
-
process? The primary focus will be on algorithm development, followed by their demonstration at synchrotron experiments. You will start working with real already existing experimental datasets and will have
-
temporal resolution, spatial resolution, and radiation dose trade against one another, and what semiconductor dynamics can be observed? The primary focus will be on algorithm development, followed by
-
Fribourg campus, with access to EPFL facilities and research infrastructure in both Fribourg and Lausanne. Additional information For more information about HOBEL: https://www.epfl.ch/labs/hobel/ For more
-
: https://www.epfl.ch/labs/hobel/ For more information about Prof. Dusan Licina: https://people.epfl.ch/dusan.licina For more information about EPFL: https://www.epfl.ch/en/ For more information about Smart