Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- Technical University of Denmark
- Aarhus University
- University of Aveiro
- University of Luxembourg
- University of Oslo
- NEW YORK UNIVERSITY ABU DHABI
- Argonne
- CNRS
- Cornell University
- University of Oregon
- Duke University
- Technical University of Munich
- University of Houston
- University of Kansas
- University of Southern Denmark
- University of Warsaw
- Adam Mickiewicz University, Poznań
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Institute of Biochemistry and Biophysics Polish Academy of Sciences
- Instituto de Engenharia Mecânica
- Lodz University of Technology
- Oak Ridge National Laboratory
- UiT The Arctic University of Norway
- University of Antwerp
- University of Minnesota
- University of Texas at Austin
- Universty of Aveiro
- ;
- AI4I
- Adam Mickiewicz University
- Aix-Marseille Université
- Aridditive
- Durham University
- Faculty of Sciences of the University of Porto
- Gulbenkian Institute for Molecular Medicine
- ICETA - Instituto de Ciências, Tecnologias e Agroambiente da Universidade do Porto
- IMT Mines Ales
- INSTITUT MAX VON LAUE - PAUL LANGEVIN
- Idiap Research Institute
- Illinois State University
- Imperial College London
- Inria, the French national research institute for the digital sciences
- Institute of Physics, Zagreb
- International Iberian Nanotechnology Laboratory (INL)
- Itä-Suomen yliopisto
- Jagiellonian University
- Jagiellonian University Faculty of Philosophy
- Kennesaw State University
- LNEC, I.P.
- Lehigh University
- Lunds universitet
- Luxembourg Institute of Science and Technology
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- Maj Institute of Pharmacology Polish Academy of Sciences
- Marquette University
- Max Planck Institute for Human Cognitive and Brain Sciences, Leipzig
- Medical Research Council
- Medical University of Gdańsk
- Nencki Institute of Experimental Biology
- New York University in Abu Dhabi
- New York University of Abu Dhabi
- Northeastern University
- REQUIMTE - Rede de Quimica e Tecnologia
- Rochester Institute of Technology
- SWPS University
- SciLifeLab
- Stanford University
- The Tadeusz Manteuffel Institute History of the Polish Academy of Sciences
- Umeå universitet stipendiemodul
- Universidade Católica Portuguesa - Porto
- Universidade Nova de Lisboa
- Universidade de Aveiro
- University of Agriculture in Krakow
- University of Copenhagen
- University of Delaware
- University of Kansas Medical Center
- University of Kentucky
- University of Liverpool;
- University of Lund
- University of Massachusetts Boston
- University of Minho
- University of Nevada Las Vegas
- University of Silesia in Katowice
- University of South Carolina
- University of Texas at Dallas
- University of Trás-os-Montes and Alto Douro
- University of Twente (UT)
- University of Virginia
- VIB
- 80 more »
- « less
-
Field
-
formal methods techniques, such as model checking, deductive verification, and symbolic execution. It aims to apply these techniques to production-level scientific libraries, such as PETSc and Flash-X
-
an innovative multi-method design, the project integrates: Daily diary and ecological momentary assessment (EMA) approaches In-depth qualitative and immersive fieldwork conducted by the geography team A key
-
of the methods. The project is carried out in close collaboration with Helical-AI, an industrial partner specialized in large-scale genomic foundation models and HPC-enabled model deployment, ensuring
-
outreach. Employment is scheduled to start on August 15th, 2026. The BioM Convergence Environment BioM - Methods for knowledge-based biodiversity monitoring and management under uncertainty - is an
-
platform based on fully optical inelastic light-scattering methods probing thermal and non-thermal phonons/acoustic waves. This approach will provide fundamental insight into the anisotropic elastic
-
must prove the recognition, equivalence, or registration of the doctorate degree, under the applicable legislation. This formality must be fulfilled up to the date of signing the contract. 2
-
. Skills: Qualitative research methods in education, particularly conducting and analyzing interviews Ability to write formal papers and present talks at conferences Ability to communicate and network
-
applications for a postdoctoral position on logical foundations and formal methods for quantum programming languages. Topics of interest (non-exhaustive) : • Models of quantum computation (λ-calculi, term
-
investigating the translational potential of genetic discovery. We have access to extensive biosample collections and use advanced omics technologies and genetic-epidemiological methods on human study populations
-
relevant to this area of research e.g. computer science, applied mathematics, operations research Strong expertise in exact and/or approximated methods, meta-heuristics and/or machine learning, Proven