Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Linköping University
- NTNU - Norwegian University of Science and Technology
- Universidade do Minho
- University of Texas at El Paso
- University of Nottingham
- University of Oslo
- CIIMAR - Interdisciplinary Center of Marine and Environmental Research - Uporto
- Empa
- Institute of Low Temperature and Structure Research Polish Academy of Sciences
- NTNU Norwegian University of Science and Technology
- Erasmus University Rotterdam
- KU LEUVEN
- Newcastle University
- Norwegian University of Life Sciences (NMBU)
- Technical University of Munich
- Umeå University
- University of Warwick
- Utrecht University
- ;
- Aalborg University
- Aarhus University
- Aix-Marseille Université
- CNRS
- King's College London
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- Queensland University of Technology
- REQUIMTE - Rede de Quimica e Tecnologia
- The University of Manchester
- University of Amsterdam (UvA)
- University of Bergen
- University of Bologna
- University of Luxembourg
- University of Münster •
- University of Porto
- University of South Bohemia
- Université Paris Cité
- AGH University of Krakow
- Adam Mickiewicz University, Poznań
- CCMAR – Centro de Ciências do Mar do Algarve
- COPENHAGEN BUSINESS SCHOOL
- Cancer Research Foundation of the University of Salamanca
- Centro Nacional de Investigaciones Cardiovasculares Carlos III F.S.P.
- Consiglio Nazionale delle Ricerche
- DAAD
- DIFFER
- Delft University of Technology (TU Delft)
- ESS - Escola Superior de Saúde
- Ecole Centrale de Lyon
- Eindhoven University of Technology (TU/e)
- Erasmus University Rotterdam (EUR)
- European Synchrotron Radiation Facility
- FCiências.ID
- Faculdade de Ciências Sociais e Humanas
- Faculdade de Medicina da Universidade do Porto
- Faculty of Sciences of the University of Porto
- Hannover Medical School •
- Harvard University
- INRIA
- ISCTE - Instituto Universitário de Lisboa
- Institute of Public Health University of Porto
- Instituto Superior de Agronomia
- Instituto de Investigação e Inovação em Saúde da Universidade do Porto (i3S)
- Leibniz
- Leipzig University •
- Liverpool Hope University;
- Ludwig-Maximilians-Universität München •
- Lunds universitet
- MASARYK UNIVERSITY
- Maastricht University (UM)
- Medical University of Gdańsk
- Monash University
- Nord University
- OsloMet
- Oxford Brookes University
- PHAETHON Centre of Excellence
- Poznan University of Technology
- Research Center Borstel - Leibniz Lung Center
- Swedish University of Agricultural Sciences
- Tallinn University of Technology
- The University of Newcastle
- UNIS
- UNIVERSIDADE DE ÉVORA
- Universidade Católica Portuguesa - Porto
- Universidade de Coimbra
- University of Aveiro
- University of Copenhagen
- University of Konstanz •
- University of Minho
- University of Potsdam •
- University of Regensburg •
- University of Southern Denmark
- University of Strathclyde
- University of Stuttgart •
- University of Surrey
- University of Surrey;
- University of Twente (UT)
- University of Utah
- University of Warwick;
- 90 more »
- « less
-
Field
-
physics-based models and data-driven methods, to support interpretable and robust testing of autonomous behavior. Application of formal methods and reasoning techniques to support safety arguments
-
biomass fraction. The tasks include: DES design; DES preparation – The DES will be prepared by the most conventional heating and stirring method. The selected compounds are weighted and mixed in the right
-
supervised by Dr. Carlos Marques at the École normale supérieure de Lyon (ENS de Lyon), where the candidate will be formally enrolled and where part of the research program will be carried out. Further
-
the development of sensitive quantitative assays for in vitro and in vivo approaches; improved measurement techniques that ideally push resolution limits to the single molecule level; statistical methods to deal
-
on the solid application of scientific research method. The department has a pluralistic approach to research methods that includes, for example, formal theoretical models, quantitative empirical methods such as
-
hardware malfunctions. WP2 - Dynamic Validation Framework: This WP utilizes formal methods, specifically probabilistic model checking, to provide safety guarantees and verify AI behavior against constraints
-
written English, ability to work both independently and collaboratively. Additional qualifications Experience or coursework in one or more of the following areas is considered an advantage: formal methods
-
to staff position within a Research Infrastructure? No Offer Description This is a call for expressions of interest. The formal selection process will be carried out by a selection committee at the
-
a wealth of state-of-the-art methods, providing them with up-to-date concepts of modern biology and medicine. The combination scientific expertise and modern scientific facilities establishes a basis
-
characterizing the epigenetic landscape of DM-associated genes and mapping their regulatory elements in cellular models using genomic methods (e.g., ATAC-seq, CUT&RUN, Capture-C, Micro-C). Next, in collaboration