Sort by
Refine Your Search
-
Your position The new professor will enhance the research portfolio of the Department of Mathematics and Computer Science and contribute to teaching at the undergraduate and graduate level. They
-
Researcher (R4) Application Deadline 30 Nov 2026 - 23:14 (UTC) Country Switzerland Type of Contract Other Job Status Other Hours Per Week 42 Is the job funded through the EU Research Framework Programme? Not
-
to advance knowledge in the following domains: Formal verification and interactive theorem proving (Rocq, Lean) Secure and high-performance computer systems, including ML infrastructure We seek outstanding
-
platforms, autonomous functions, and future distributed or coordinated spacecraft concepts. This role interfaces across systems engineering, avionics, payloads, and software development, and coordinates with
-
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
-
and in computer architecture domains, our ability to analyze data still falls behind the unstoppable data collection rates. Data-intensive applications are increasingly more demanding in sophisticated
-
. Scalable AI training: distributed training, efficient fine-tuning, evaluation, and deployment on large-scale compute. Multimodal learning: representation learning and generative modeling across heterogeneous
-
the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Doctoral Position in
-
research on power electronic converter systems, which are required, for example, in future energy distribution systems for the integration of renewable energy sources or in traction applications/electric
-
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