Sort by
Refine Your Search
-
candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and verification, and
-
Abstractions Lab (LASeR) develops programming languages and formal reasoning tools for networked systems. Networks are the invisible infrastructure that connects the modern world, yet programming and reasoning
-
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
-
NVIDIA BlueField, AMD Pensando or similar. Driver Development: Develop and optimize Linux kernel modules and userspace drivers (DPDK) to manage flows. Hardware/Software Co-Design: Collaborate with optical
-
together physicists, earth and planetary scientists, chemists and biologists to understand the conditions and the mechanisms that enable life to emerge. Developing reliable methods to detect reliable traces
-
responsiveness. The project will develop and validate individually calibrated behavioral tasks in immersive virtual reality (VR) to quantify effort-based motivation, vigor, persistence and goal-directed versus
-
role in global carbon cycling and provide an excellent model for investigating fundamental questions in microbial ecology, including community assembly, species interactions, resilience, and ecosystem
-
through proprioception. We develop widely-used open-source tools (e.g., DeepLabCut), train biomechanically realistic embodied agents (e.g., MuscleMimic, Kinesis, Arnold), and build AI-based models
-
of an Anosov representation. For instance, the boundary at infinity of a hyperbolic group naturally embeds as a subset of a flag manifold for an Anosov representation. The AnSur project aims to study the global
-
of the EPFL Laboratory for Bio- and Nano-Instrumentation is centered on developing advanced nanoscale measurement technologies for applications in nanoscience, materials science and life science. We seek