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
- Materials Science
- Mathematics
- Law
- Chemistry
- Business
- Humanities
- Linguistics
- Psychology
- Social Sciences
- Environment
- Electrical Engineering
- Arts and Literature
- Earth Sciences
- Sports and Recreation
- Design
- Philosophy
- Physics
- 14 more »
- « less
-
, operating systems, programming languages, formal methods, real-time systems, security and cryptography, and theory of computation and algorithms. In addition, members of the Department collaborate closely
-
methods, by using specific cleansers, sterilizing equipment, and/or disposing of contaminated wastes. Assists in set*up of events and cleaning after events. Performs other duties as assigned. Knowledge
-
formalities established therein must be fulfilled by the date of the act of contracting. Preferred conditions a) Master’s in Consumer Sciences and Nutrition or in Public Health. Functions The functions to be
-
a collaboration between Inria and Mitsubishi Electric R&D Centre Europe (MERCE) within the FRAIME project on artificial intelligence and formal methods. The project explores, on the one hand, how
-
Spiders” awarded to the Computer Science Department of the University of Manchester, see https://www.renaissancephilanthropy.org/learning-to-do-math-with-vampires-and-spiders The formal methods group
-
of Artificial intelligence, Machine learning, Numerical simulation, Formal verification. Such methods include, among the others: AI-guided simulation of the mathematical models of the patho-physiology and PK/PD
-
, implementing, and controlling complementary techniques such as histochemistry and immunohistochemistry. Sample preparation for paraffin embedding, cryo-microtomy, vibratome sectioning, and related methods
-
interactions among neighbouring agents and their environments. The research will exploit an interdisciplinary approach that combines control theory, nonlinear dynamical systems, robotics, and formal methods
-
-ranked journals. To strengthen the research group in Financial Accounting and Auditing we seek candidates with confirmed competence in quantitative archival-empirical methods within the financial
-
the whole application process Learn Dutch through a method focused on language learning for high skilled healthcare professionals Have certainty of a worry-free process Get help finding your future home All