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
- United Arab Emirates
- Italy
- Canada
- Croatia
- Singapore
- 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
- Chemistry
- Law
- Business
- Environment
- Psychology
- Humanities
- Linguistics
- Social Sciences
- Arts and Literature
- Electrical Engineering
- Earth Sciences
- Sports and Recreation
- Design
- Philosophy
- Physics
- 14 more »
- « less
-
on real-world health data analysis — including study design, data wrangling, phenotype development, data integration, and statistical and machine-learning methods — to accelerate project delivery
-
biochemistry and chemistry, molecular and analytical methods knowledge of analytical techniques: HPLC, GC, GCMS, UV-Vis, NIR, FTIR, potentiometry knowledge of molecular methods: e.g. PCR, FISH knowledge
-
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
-
from other maps. The ERC funded project GeoTrAnsQData project addresses this by developing a GeoQA method that converts questions into executable geo-analytical workflows, turning geodata into new answer
-
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
-
, 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
-
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
-
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
-
, implementing, and controlling complementary techniques such as histochemistry and immunohistochemistry. Sample preparation for paraffin embedding, cryo-microtomy, vibratome sectioning, and related methods
-
Inria, the French national research institute for the digital sciences | Lyon, Rhone Alpes | France | about 2 months ago
Inference https://arxiv.org/abs/2312.02179 Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving https://arxiv.org/abs/2507.23726 Kimina-Prover Preview: Towards Large Formal Reasoning Models