Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Nanyang Technological University
- City of Hope
- University of Oslo
- Dana-Farber Cancer Institute (DFCI)
- Hong Kong Polytechnic University
- Indiana University
- National University of Singapore
- University of British Columbia
- University of Sheffield
- Zintellect
- ;
- Argonne
- Center for Drug Evaluation and Research (CDER)
- INESC ID
- Imperial College London
- Instituto de Geografia e Ordenamento do Território da Universidade de Lisboa
- Integreat -Norwegian Centre for Knowledge-driven Machine Learning
- King's College London
- Max-Planck-Institut für Bildungsforschung
- Queen's University Belfast
- UNIVERSITY OF SURREY
- UiT The Arctic University of Norway
- Universidade de Coimbra
- University of Aveiro
- University of Birmingham;
- University of Idaho
- University of Inland Norway
- University of Sheffield;
- University of Surrey
- University of Waterloo
- 21 more »
- « less
-
Field
-
of Communication and Information (WKWSCI) to integrate geospatial modelling, behavioural risk-perception research, agent-based simulation, and community engagement design in support of Singapore’s coastal adaptation
-
proving, funded by the Advanced Research + Invention Agency (ARIA): https://agentic-sel4.github.io/ The project, joint with Andrei Popescu at the University of Sheffield and Toby Murray at the University
-
reference monitor on top of seL4 for the secure containment of AI agents. We will develop new mechanisms for dynamically controlling agents’ capabilities and information flows, together with machine-checked
-
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
-
molecular drivers. Develop AI agents and LLM-based computational workflows for biomedical research, including automated dataset discovery, quality assessment, multi-omics analysis, biological interpretation
-
-aware reference monitor on top of seL4, supporting dynamic control of the capabilities and information flows of AI agents. Develop and mechanise security models, program logics and information-flow
-
-aware reference monitor on top of seL4, supporting dynamic control of the capabilities and information flows of AI agents. Develop and mechanise security models, program logics and information-flow
-
) [Appointment period: each for two to twelve months] Duties The appointees will assist the project leader in the project - “A large model based data agent for data science and artificial intelligence education
-
Assistant (two posts) [Appointment period: each for twelve months] Duties The appointees will assist the project leader in the research project - “Development of next-generation theranostic agents
-
learning-based model predictive control (MPC) algorithms for multi-agent multirotor drone navigation around vessels in maritime environments. The role will focus on integrating multirotor crash predictions