-
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
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Post-doc on formal verification and algorithm discovery for numerical analysis About us and our
-
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
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoc position in "Gen AI" The Laboratory of Visual Intelligence for Transportation (VITA ) is
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Postdoctoral researcher in building technology Profile The Structural Xploration Lab is seeking
-
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
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. PostDoc Position at EPFL on Frontier Artificial Intelligence Research General The Artificial