Sort by
Refine Your Search
-
Listed
-
Field
-
candidates working in formal methods and/or computer systems with interests in one or more of the following areas: machine-checked verification of systems software, GPU kernel semantics and verification, and
-
postdoc in our group, you will set up and lead this new research line, choosing its directions together with us. Possible starting points are the formalization in Lean of stability and error estimates
-
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
-
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
-
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
-
Modelling (BIM), Geographic Information Systems (GIS) or computer programming is a plus. A master's degree or professional experience in architecture is preferred but not required. The employment rate varies
-
both the School of Computer and Communication Sciences and the School of Life Sciences, as well as the EPFL AI Center. We are recruiting a postdoctoral researcher with strong expertise in modern AI, in
-
Understanding human motivation requires methods that go beyond questionnaires and simplified computer-based tasks. This project aims to develop more naturalistic, yet highly controlled, behavioral assays in which