Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
experience AI-assisted theorem proving or algorithm discovery is an asset You have working knowledge of numerical analysis, ideally numerical methods for PDEs You are independent and comfortable with open
-
, formal methods, and/or networking, with interests in one or more of the following areas: NetKAT and its extensions, symbolic automata, routing algebras, packet scheduling, and AI-based cybersecurity. Main
-
. Our passion lies in materials science and technology, and at the Urban Energy Systems Laboratory (UESL), we develop strategies and methods to support the creation of decarbonized, resilient, and
-
actively contributes to positive change in society You can expect numerous benefits , such as public transport season tickets and car sharing, a wide range of sports offered by the ASVZ , childcare and
-
postdoctoral position is available in the laboratory of Prof. Alex Persat (EPFL School of Life Sciences, https://www.p-lab.science/ ) to establish a new image-based drug screening platform targeting gram
-
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
-
on ongoing projects. We welcome young scholars in entrepreneurship, strategy, and technology and innovation management, using quantitative, qualitative or experimental methods. The Chair's research appears in
-
only supports your professional development, but also actively contributes to positive change in society You can expect numerous benefits, such as public transport season tickets and car sharing, a wide
-
at international conferences and workshops Position 1: Computer Vision & AI for Behavior Analysis Contribute to the creation of behavioral datasets for groups of animals Develop methods for animal and environment
-
The Ultrafast Spectroscopy and Attosecond Science group at the Laboratory of Physical Chemistry, Department of Chemistry and Applied Biosciences, ETH Zurich develops experimental methods for measuring and