Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Science
- Education
- Biology
- Mathematics
- Materials Science
- Law
- Social Sciences
- Arts and Literature
- Business
- Psychology
- Linguistics
- Chemistry
- Environment
- Humanities
- Electrical Engineering
- Philosophy
- Sports and Recreation
- Design
- Earth Sciences
- Statistics
- 14 more »
- « less
-
are looking for a motivated and talented PhD candidate to join a unique interdisciplinary project at the intersection of machine learning and formal methods. Information Machine learning models deployed in real
-
meaningful explanations when unexpected situations arise. We plan to represent and model expectations using formal methods, develop techniques that help a system reason about human expectations at runtime, and
-
that supports the design and certification of next-generation autonomous missions. Where to apply Website https://phd.fbk.eu/calls/detail/formal-methods-for-automated-reasoning-and-reli… Requirements
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 24 days ago
be renewed. It is mandatory to formalize applications with the submission of the following documents: i) B1 Form – Fellowship application (https://ist-id.pt/recursos-humanos/bolseiros/#documentos
-
About The Role We are seeking a post-doctoral researcher with expertise in evidence synthesis methods, and interests in use of AI to join the Solace-AI team (https://solaceai.org/ ). The successful
-
studies will also be considered. Computational methods, content analysis, surveys, and other methods can be used complementarily, but should not be the primary method. Viable path towards access
-
legislation. This formality must be completed by the signing date of the contract. 3.1. General admission requirements are those defined in point 4. For the purpose of determining the appropriate profile
-
of the applicable legislation. This formality must be completed by the signing date of the contract. 4.1. General admission requirements are those defined in point 4. For the purpose of determining the appropriate
-
but are not limited to: Providing guidance and/or leadership for 4-H Youth Development programming targeted to local and area needs. Utilize appropriate methods, both formal and informal, of community
-
: The call for applications is open from September 11 to September 24, 2026. Documentation required for the application: Applications must be formally submitted by providing the following documents: a detailed