Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
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
-
EPFL, the Swiss Federal Institute of Technology in Lausanne, is one of the most dynamic university campuses in Europe and ranks among the top 20 universities worldwide. The EPFL employs more than
-
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
-
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
-
EPFL, the Swiss Federal Institute of Technology in Lausanne, is one of the most dynamic university campuses in Europe and ranks among the top 20 universities worldwide. The EPFL employs more than
-
EPFL, the Swiss Federal Institute of Technology in Lausanne, is one of the most dynamic university campuses in Europe and ranks among the top 20 universities worldwide. The EPFL employs more than
-
EPFL, the Swiss Federal Institute of Technology in Lausanne, is one of the most dynamic university campuses in Europe and ranks among the top 20 universities worldwide. The EPFL employs more than
-
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
-
candidate will work on developing and improving methods for LLM reasoning, with applications including mathematical reasoning, decision-making, and adaptation to specialized domains. The project will involve