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
- Arts and Literature
- Environment
- Linguistics
- Psychology
- Electrical Engineering
- Humanities
- Earth Sciences
- Philosophy
- Sports and Recreation
- Design
- Physics
- 14 more »
- « less
-
, cultivating interdisciplinary dialogue, and an interest in teaching and mentoring undergraduate students. The anticipated teaching load will be one formalized course per year, AS1111 Milstein First-Year
-
Institute of Low Temperature and Structure Research Polish Academy of Sciences | Poland | 22 days ago
to the Doctoral School of ILT&SR PAS https://phd.intibs.pl/files/dokumenty_EN/25-04-29-Zasady_rekrutacji_SD_INTiBS_PAN_en.pdf Description of the research project and the PhD thesis The proposed doctoral project
-
, webinar, online community, etc.). Complete (in TK20) a minimum of six formal lesson observations using scripted field notes or an observation rubric based on the California Teacher Performance Expectations
-
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