Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Biology
- Education
- Engineering
- Mathematics
- Science
- Social Sciences
- Materials Science
- Psychology
- Chemistry
- Arts and Literature
- Law
- Business
- Linguistics
- Environment
- Humanities
- Design
- Earth Sciences
- Philosophy
- Electrical Engineering
- Sports and Recreation
- Statistics
- 14 more »
- « less
-
computer science. Topics may include loose universal properties, two-dimensional sketches, double-categorical enrichment, and formal category theory. The project will address the following key areas: Double
-
trustworthiness of news in the media and forensic processes in criminal investigations. Therefore, development of reliable methods to detect manipulations and distinguish bonafide from synthesised data is of utmost
-
complements departmental strengths in topology, algebraic topology, analysis, partial differential equations, geometric analysis, probability, logic, formal methods, and experimental mathematics will be given
-
existing methods to explain behaviour in a particular setting. In either case, the aim is to connect formal models with observable behaviour. Our group studies cooperation across multi-agent systems and AI
-
proofs. Background in formal methods, automated reasoning, programming-language theory, proof engineering, functional programming, or a closely related area. Experience designing and operating agentic
-
on developing high throughput screening methods for gene and drug delivery into the nervous system. Minimum Education and Experience Ph.D in a related field. Candidates who have successfully completed all
-
, attributed by foreign higher education institutions, and of paragraph e) of no. 2 of article 4 of Decree-Law no. 60/2018, of August 3rd, and any formalities established therein must be fulfilled by the date
-
The Department of Psychological and Brain Sciences at Indiana University, Bloomington (https://psych.indiana.edu/ ), invites applications for a full-time, 12-month, non-tenure-track position at the level of
-
all formalities established therein must be completed by the date on which the fellowship contract is signed. Working plan: The work will be mainly integrated into WP3, WP4 and WP5 of the project and
-
Website https://www.ipvc.pt/pt/ Requirements Research FieldOtherEducation LevelPhD or equivalent Skills/Qualifications The general admission requirements are those set out in Article 17 of the LGTFP