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 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
-
of vector query processing, serverless/just-in-time query execution, parallel and distributed data management, and data management systems on emerging hardware Passionate about inventing, building, and
-
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
-
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
-
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
-
. Scalable AI training: distributed training, efficient fine-tuning, evaluation, and deployment on large-scale compute. Multimodal learning: representation learning and generative modeling across heterogeneous
-
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
-
looking for a postdoctoral researcher in the area of Generative AI. VITA research interests lie at the intersection of Computer Vision, Machine Learning (Deep Learning), and Human-Robot Interaction