Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Denmark
- Poland
- United Kingdom
- Norway
- Germany
- Netherlands
- Luxembourg
- France
- Sweden
- Spain
- Australia
- Czech
- Belgium
- Austria
- Italy
- Singapore
- United Arab Emirates
- Canada
- Croatia
- Finland
- Ukraine
- Slovenia
- Worldwide
- Ireland
- Malaysia
- China
- Greece
- Japan
- Morocco
- Switzerland
- 22 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Education
- Mathematics
- Materials Science
- Law
- Chemistry
- Business
- Humanities
- Environment
- Linguistics
- Psychology
- Social Sciences
- Electrical Engineering
- Arts and Literature
- Earth Sciences
- Sports and Recreation
- Design
- Philosophy
- Physics
- 14 more »
- « less
-
related discipline with focus on formal methods completed or close to completion; Experience with interactive theorem proving using Isabelle/HOL, HOL4, Coq or similar, or experience with proving security
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 11 days ago
2026, and may be eventually renewed up to the maximum allowed by the FCT regulation It is mandatory to formalize applications with the submission of the following documents: i) B1 Form – Fellowship
-
16, and any formalities established therein must be fulfilled before the hiring process. Requirement 2: Be enrolled in a Doctoral Program in Civil Engineering. Requirement 3: Have proven experience in
-
Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID | Portugal | 3 days ago
is mandatory to formalize applications with the submission of the following documents: B1 Form – Fellowship application (https://ist-id.pt/recursos-humanos/bolseiros/#documentos-relacionados
-
experience in the development of computational applications in which Artificial Intelligence methods are applied. Preferred profile: Experience of academic and research work with the application of Artificial
-
, of August 28, available at: https://www.fct.pt/apoios/bolsas/estatutobolseiro.phtml.pt . Regulation of scientific research grants of the Foundation for Science and Technology, I.P., (FCT, IP) in effect
-
Cluster of Excellence – SubCellular Architecture of LifE (https://scale-frankfurt.org ) at the Faculty of Biochemistry, Chemistry and Pharmacy. This civil servant or public employee position will commence
-
Responsibilities Conduct foundational research in adversarial machine learning, exploring novel attack vectors and defense mechanisms for AI agents and large language models. Develop formal verification methods and
-
, such as sensors and/or thin-film transistors (TFTs). f) Supporting documents proving compliance with these requirements must be submitted by the time of the fellowship contract's formalization and may be
-
design automation (EDA) environment. Supporting documents proving compliance with these requirements must be submitted by the time of the fellowship contract's formalization and may be replaced beforehand