Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Poland
- Denmark
- United Kingdom
- France
- Norway
- Sweden
- Luxembourg
- Germany
- Belgium
- Netherlands
- Croatia
- Canada
- Spain
- Australia
- Austria
- Singapore
- Italy
- United Arab Emirates
- Worldwide
- Finland
- Czech
- Greece
- Latvia
- Switzerland
- China
- Andorra
- Armenia
- Estonia
- Hong Kong
- Iceland
- Ireland
- Japan
- Lithuania
- New Zealand
- Saudi Arabia
- Slovenia
- 28 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Mathematics
- Law
- Materials Science
- Education
- Chemistry
- Social Sciences
- Business
- Environment
- Arts and Literature
- Linguistics
- Psychology
- Electrical Engineering
- Humanities
- Earth Sciences
- Philosophy
- Design
- Sports and Recreation
- Physics
- 14 more »
- « less
-
theorem provers such as Coq or Isabelle/HOL. Proof Automation. We plan to develop formal methods for automatic reasoning that can be materialized into commercial tools. Responsibilities Participate in and
-
support of assessment program. 1. Develops and implements methods and procedures to administer assessment program. 2. Assists with the organization, development and maintenance of institutional
-
, nonlinear dynamical systems, robotics, and formal methods to develop principled models and algorithms for distributed decision-making in complex and uncertain environments. Your research The candidate will
-
problems. Ability to exercise sound judgment in making critical decisions. Bilingual (English/Spanish) – very strongly preferred Have received formal training in implementation science (e.g., graduate level
-
complex and performance-oriented features, present a large attack surface that traditional verification techniques—such as formal methods—struggle to cover. To effectively mitigate this growing threat
-
duration. Application deadline and form of application submission: The competition is open from 30/03/2026 to 13/04/2026. Documentation to be provided with the application: Applications must be formalized by
-
related to staff position within a Research Infrastructure? No Offer Description The Neuro-Symbolic AI Group at the IDIAP Research Institute operates at the interface between neural and symbolic AI methods
-
both project scope and program. Responsible for keeping the project scope and budget aligned with the program during the life of the project. Formally establishes project plan, including working with
-
the formalities must be fulfilled there until the contracting act. Activity Outline: Participation in the research project and execution of scientific activities related to Task 1. The research fellows will be
-
) from current and/or previous institutions that showcase your current and previous coursework in social sciences and/or quantitative methods. In your cover letter, please explain why you would like to GSI