Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Education
- Science
- Mathematics
- Materials Science
- Social Sciences
- Business
- Law
- Linguistics
- Psychology
- Arts and Literature
- Chemistry
- Environment
- Humanities
- Electrical Engineering
- Philosophy
- Earth Sciences
- Design
- Sports and Recreation
- Statistics
- 14 more »
- « less
-
The purpose of the project is to build a secure by design AI inference stack using the latest advancements in AI, security, and formal methods. Modern AI inference systems combine complex software
-
of the project is to build a secure by design AI inference stack using the latest advancements in AI, security, and formal methods. Modern AI inference systems combine complex software components, including model
-
of conservation documentation, as well as participation in research and monitoring of the condition of archaeological heritage; Participation in the development of conservation programmes, documentation methods
-
state-of-the-art methods generative protein design, directed evolution, next gen sequencing, and laboratory automation to develop B12-dependent enzymes or artificial metalloenzymes containing different
-
The Savinov lab at UT Austin (https://www.savinovlab.com/ ) is pursuing multiple projects centered around discovering and designing protein fragments as universal regulators of protein interactions in health
-
applying for external funds, taking into account the formal criteria of a given call Employment Conditions: Full-time employment under a work contract for a period of 48 months (duration of doctoral studies
-
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
-
clinical practitioners into researchers who understand and use multiple methods to answer important clinical questions. The start of the fellowship is 1st August 2027. Where possible a 6-month preparatory
-
, methods and relevant literature. A declaration covering doctoral status and the MSCA mobility rule. Certificate of language proficiency (see Hanken’s English language requirements at https://www.hanken.fi
-
and automata, and the interaction between formal methods and artificial intelligence. We welcome candidates interested in topics ranging from foundational theory to the development and evaluation