Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Harvard University
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Indiana University
- University of British Columbia
- NTNU - Norwegian University of Science and Technology
- Francis Crick Institute
- Nanyang Technological University
- National University of Singapore
- UiT The Arctic University of Norway
- University of Leeds
- Cold Spring Harbor Laboratory
- Curtin University
- King's College London
- NTNU Norwegian University of Science and Technology
- THE UNIVERSITY OF HONG KONG
- Technical University of Munich
- University of Michigan
- University of Oslo
- University of Sheffield
- University of the West of England
- Yale University
- Amgen
- BU Pulmonary
- Bowdoin College
- Carnegie Mellon University
- Center for Biologics Evaluation and Research (CBER)
- Center for Drug Evaluation and Research (CDER)
- City of Hope
- Dartmouth College
- EPFL
- European Space Agency
- Humboldt-Universität zu Berlin
- INESC ID
- INESC TEC
- Johns Hopkins University
- LASE (University of Greenwich);
- LIVERPOOL JOHN MOORES UNIVERSITY
- Nottingham Trent University
- Oslo Metropolitan University
- OsloMet
- Purdue University
- SciLifeLab
- The University of Texas MD Anderson Cancer Center
- UCL;
- UNIVERSITY OF HELSINKI
- UNIVERSITY OF SURREY
- University of Agder
- University of Bergen
- University of California
- University of Cambridge
- University of Colorado
- University of Denver
- University of Dundee
- University of Greenwich
- University of Leeds;
- University of Michigan (U-M)
- University of Michigan - Ann Arbor
- University of Minnesota
- University of New South Wales
- University of Nottingham
- University of Sheffield;
- University of Stirling
- University of Surrey
- University of Turku
- Università degli Studi di Cagliari
- Université de Strasbourg
- Virginia Tech
- Western Norway University of Applied Sciences
- Zintellect
- Łukasiewicz PORT
- 60 more »
- « less
-
Field
-
substantial funding for access to state-of-the-art AI models and computing infrastructure. About you We are interested in candidates with expertise in one or more of interactive theorem proving, formal
-
spectrometry (XL-MS) using photoactivatable crosslinkers to investigate TDP-43 interactions and oligomerisation primarily in vitro. You will be based in the laboratory of Dr Antonio Calabrese and work closely
-
equipped with state-of-the-art research infrastructure, housing a comprehensive range of cluster laboratories, test bedding facilities, research centres/institutes and corporate laboratories. Cutting-edge
-
-flow security, program logics and neurosymbolic AI. The project is exceptionally well-resourced, including substantial funding for access to state-of-the-art AI models and computing infrastructure. We
-
and refactoring the seL4 Isabelle/HOL proof base. The Surrey positions are full-time fixed-term until November 2027. We have substantial funding for access to state-of-the-art AI models and computing
-
, information-flow security, program logics, and neurosymbolic AI. The project is exceptionally well resourced, including substantial funding for access to state-of-the-art AI models and computing infrastructure
-
Details Title Reginald A. Daly Postdoctoral Research Fellowship School Faculty of Arts and Sciences Department/Area Earth and Planetary Sciences Position Description The Department of Earth and
-
. This interdisciplinary initiative connects agentic AI framework design, large language models (LLMs), and interactive digital twins with real-world municipal decision-making. The project focuses on deploying auditable
-
, information-flow security, program logics, and neurosymbolic AI. The project is exceptionally well resourced, including substantial funding for access to state-of-the-art AI models and computing infrastructure
-
missions. Field(s) of activity/research for the traineeship In particular, your research activities will include: conducting a comprehensive literature survey and state-of-the-art assessment of AI and