Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Field
- Education
- Computer Science
- Social Sciences
- Business
- Engineering
- Medical Sciences
- Biology
- Environment
- Psychology
- Earth Sciences
- Statistics
- Chemistry
- Design
- Physics
- Humanities
- Law
- Mathematics
- Materials Science
- Electrical Engineering
- Arts and Literature
- Science
- Linguistics
- Economics
- Sports and Recreation
- Philosophy
- 15 more »
- « less
-
management principles involved in strategic planning, resource allocation, human resources modeling, leadership techniques, production methods, and coordination of people and resources Ability to develop
-
techniques and methods Knowledge of work-related subject area Knowledge of computers and software applications Ability to prepare, present, and review oral and written information and reports Ability to
-
topics in foundational cryptography. Similarly work on the intersection of cryptographic protocols and formal methods is possible. One or two extended research visits are encouraged during the doctoral
-
be an advantage Hands-on experience in chromatographic methods (GC, HPLC, Flash) Knowledge of basic spectroscopic methods used to identify organic compounds (NMR, FTIR, CD, UV-vis, fluorescence
-
of AI models and the creation of explainable and verifiable computational frameworks for tumour digital twins. Working at the intersection of artificial intelligence, formal methods and cancer
-
University of Amsterdam (UvA) | Amsterdam, Provincie Noord-Holland | Netherlands | about 2 months ago
reasoning, interactive theorem proving systems, formal verification, formalized mathematics, neuro-symbolic methods, and AI-assisted mathematical or logical reasoning. We particularly welcome candidates
-
Princeton | about 2 months ago
, Comparative Politics, Formal Theory/Quantitative Methods, International Relations, and/or Political Theory, and accepts applications in advance in the event the occasion arises where such lecturers are
-
Princeton | about 2 months ago
, Comparative Politics, Formal Theory/Quantitative Methods, International Relations, and/or Political Theory, and accepts applications in advance in the event the occasion arises where such lecturers are
-
Princeton | about 1 month ago
, Comparative Politics, Formal Theory/Quantitative Methods, International Relations, and/or Political Theory, and accepts applications in advance in the event the occasion arises where such lecturers are
-
Princeton | about 1 month ago
, Comparative Politics, Formal Theory/Quantitative Methods, International Relations, and/or Political Theory, and accepts applications in advance in the event the occasion arises where such lecturers are