Sort by
Refine Your Search
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoctoral Researcher and Lecturer in Entrepreneurship (100%) About The Chair
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoctoral Positions in Computational Neuroscience & AI Mission The A. Mathis Group for
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoc position in 3D Computer Vision, remote sensing ... The Laboratory of Visual Intelligence
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoctoral Position in Computational Genomics, Machine Learning & Single-Cell Biology Mission
-
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
-
related to the project (especially if interested in an academic career) Co-organise seminars, lectures and conferences with the PI of the project Profile Highly motivated with proven scientific excellence
-
Positions Application Deadline 15 Oct 2026 - 15:55 (Africa/Abidjan) Country Switzerland Type of Contract Temporary Job Status Full-time Is the job funded through the EU Research Framework Programme? Not
-
present your work internationally. You are the ideal candidate if You hold a PhD in mathematics, computer science or a related field You have a strong background in formal verification with Lean You have