Sort by
Refine Your Search
-
Listed
-
Category
-
Country
- United States
- Portugal
- Poland
- Denmark
- United Kingdom
- Norway
- Netherlands
- Sweden
- Germany
- France
- Luxembourg
- Belgium
- Spain
- Australia
- Canada
- Croatia
- Czech
- Italy
- Singapore
- Finland
- United Arab Emirates
- Austria
- Ukraine
- Greece
- Switzerland
- Japan
- Worldwide
- Andorra
- Armenia
- China
- Estonia
- Hong Kong
- Iceland
- Ireland
- Lithuania
- 25 more »
- « less
-
Program
-
Field
- Computer Science
- Economics
- Medical Sciences
- Engineering
- Biology
- Science
- Education
- Mathematics
- Materials Science
- Law
- Chemistry
- Business
- Social Sciences
- Psychology
- Arts and Literature
- Environment
- Humanities
- Linguistics
- Electrical Engineering
- Earth Sciences
- Sports and Recreation
- Philosophy
- Design
- 13 more »
- « less
-
) incorporation of expert knowledge in model building through Bayesian prior elicitation, and 3) develop new methods for identification of conflicts in different parts of complex models. BioM is an
-
. We advance and apply research techniques from the following areas: Formal methods (e.g. programming languages, formal modelling, formal verification) Process science (e.g. process mining, BPM) and our
-
research on predefined topics contributing to SnT's and POST Luxembourg's R&D activities. This position involves conducting full-scale research, from reviewing state-of-the-art methods to implementing and
-
CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto | Portugal | 3 days ago
€ € (one thousand, ninety euros and ninety eight cents). Selection methods: A global appreciation of the candidates’ merit and motivation (valued from 1 to 10) will be made on the basis of the evaluation
-
Posting Details Posting Details Logo Institution South Dakota State University Working Title Lecturer of Economics and Quantitative Methods Posting Number F01828P Department SDSU-Ness School
-
transcriptomics, mechanobiology methods, and drug screening assays. The project has the potential to deliver a next-generation research tool and data that may support future clinical decision-making within
-
theorem provers such as Coq or Isabelle/HOL. Proof Automation. We plan to develop formal methods for automatic reasoning that can be materialized into commercial tools. Responsibilities Participate in and
-
Research Grant Regulations of the Science and Technology Foundation, I.P. (Regulation no. 950/2019, of July 22, 2024). º 8131/2024, of July 22, 2024), https://files.diariodarepublica.pt/2s/2024/07/140000000