Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Zintellect
- National University of Singapore
- Nanyang Technological University
- University of Oslo
- Center for Drug Evaluation and Research (CDER)
- City of Hope
- Hong Kong Polytechnic University
- UNIVERSITY OF SOUTHAMPTON
- University of British Columbia
- Aarhus University
- Dana-Farber Cancer Institute (DFCI)
- Harvard University
- Indiana University
- King's College London
- University of Sheffield
- University of Southampton;
- ;
- Argonne
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- 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
- Max-Planck-Institut für Bildungsforschung
- Queen's University Belfast
- The University of Southampton
- Tohoku University
- UNIVERSITY OF SURREY
- UiT The Arctic University of Norway
- Universidade de Coimbra
- University of Aveiro
- University of California
- University of Idaho
- University of Inland Norway
- University of Nottingham
- University of Sheffield;
- University of Surrey
- University of Waterloo
- 29 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
-
portfolio and the wider Responsible AI landscape into clear, evidence-based policy advice for government, industry and the public. The research will focus on: Agentic AI systems and their governance Physical
-
portfolio and the wider Responsible AI landscape into clear, evidence-based policy advice for government, industry and the public. The research will focus on: Agentic AI systems and their governance Physical
-
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
-
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
-
molecular drivers. Develop AI agents and LLM-based computational workflows for biomedical research, including automated dataset discovery, quality assessment, multi-omics analysis, biological interpretation
-
of Isabelle infrastructure for AI-assisted theorem proving, including proof-data extraction, interaction with proof states, and integration of AI agents into Isabelle-based verification workflows. Work closely
-
simulations that can aid in policy design. The Research Assistant will be work closely with the Principal Investigator and other group members on this project. Key Responsibilities Develop LLM-based agent
-
of Isabelle infrastructure for AI-assisted theorem proving, including proof-data extraction, interaction with proof states, and integration of AI agents into Isabelle-based verification workflows. Work closely