Postdoc Opportunities in Mathematics in Switzerland

EPFL's Theory Group invites applications for a postdoctoral position in theoretical computer science within its theory of computation research community in Lausanne, Switzerland. The postdoctoral researcher will conduct independent research while selecting topics aligned with their expertise and interests. Research areas include probabilistic proofs, succinct arguments, combinatorial optimization, approximation algorithms, online algorithms, sublinear algorithms, computational complexity—includi...

An on-site postdoctoral position is available at EPFL in Lausanne within the group of Prof. Martin Hairer at the Probability and Partial Differential Equations (PROPDE) department. The research focus is in and around stochastic partial differential equations and probabilistic aspects of quantum field theory. The exact topic will be agreed with the successful candidate, taking into account their background and interests, and there is room to pursue independent research directions as well. The pos...

The Theory Group at EPFL is seeking a postdoctoral researcher to carry out independent work in theory of computation . The position spans a broad set of topics in theoretical computer science, including probabilistic proofs, succinct arguments, combinatorial optimization, approximation algorithms, online algorithms, sublinear algorithms, and (quantum) computational complexity. The research scope also includes proof complexity, communication complexity, quantum cryptography, algorithms, and quant...

An on-site postdoctoral position is available at EPFL in Lausanne within the group of Prof. Martin Hairer. The project sits in the broad area of stochastic analysis and focuses on research in and around stochastic partial differential equations and probabilistic aspects of quantum field theory. The successful candidate will collaborate on research projects shaped partly by their own background and interests, with room to pursue independent ideas alongside the group’s ongoing mathematical researc...

This postdoctoral project at EPFL sits at the intersection of geometric group theory , geometric analysis , and the study of Anosov representations . The AnSur project focuses on the global geometry of deformation spaces of Anosov representations, with particular emphasis on positive representations and their relation to geometric analysis. The research is motivated by the structure of hyperbolic groups and the way their boundary geometry is reflected in linear settings through Anosov representa...

The EPFL Laboratory of Particle Accelerator Physics (LPAP) is recruiting a postdoctoral researcher to work on accelerator design studies for the Future Circular Collider electron-positron option (FCC-ee). The project sits within a CHART-funded effort focused on building a robust optics configuration, a realistic beam-beam collision scheme, and a more stable lattice design for a next-generation collider. The successful researcher will contribute to developing and testing alternative FCC-ee optics...

The Artificial Intelligence in Molecular Medicine (AIMM) Lab at EPFL is recruiting a postdoctoral researcher for highly methodological work in frontier artificial intelligence. Led by Prof. Charlotte Bunne, the lab sits at the interface of computer science, artificial intelligence, and biomedical applications, with connections to the School of Computer and Communication Sciences, the School of Life Sciences, and the EPFL AI Center. The project focuses on advancing generative AI and foundation mo...

The Singapore-ETH Centre is recruiting a postdoctoral researcher to lead research on technology-enabled home rehabilitation after stroke within the Future Health Technologies Programme. The project addresses the need for scalable rehabilitation that extends beyond therapist-led clinical care and supports stroke survivors in their homes. The research focuses on the RELab tenoexo , a soft robotic hand exoskeleton designed to enhance upper-limb rehabilitation in clinical therapy and provide additio...

The Keystone project at EPFL focuses on building a formally verified ML inference engine at the intersection of formal methods and high-performance systems. The work combines interactive theorem proving with secure computer systems and ML infrastructure, aiming to make verified systems competitive with unverified ones in development effort, features, and performance. The postdoctoral researcher will contribute to the design and construction of a machine-verified LLM inference engine . Possible r...