Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Zintellect
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- University of Oslo
- King's College London
- University of Sheffield
- Aarhus University
- Center for Drug Evaluation and Research (CDER)
- City of Hope
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Harvard University
- Integreat -Norwegian Centre for Knowledge-driven Machine Learning
- Max-Planck-Institut für Bildungsforschung
- Nanyang Technological University
- National University of Singapore
- UNIVERSITY OF SURREY
- UiT The Arctic University of Norway
- Universidade de Coimbra
- University of Agder
- University of British Columbia
- University of Idaho
- University of Michigan
- University of Minho
- University of Nottingham
- University of Sheffield;
- University of Stirling
- University of Surrey
- University of Waterloo
- eQuest
- 18 more »
- « less
-
Field
-
. 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
-
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
-
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
-
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
-
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
-
agents for data analysis, and the design of interactive systems that keep human analysts in control of AI-assisted sensemaking. Responsibilities Conduct research on agentic visualization: generative AI
-
staff will play a key role in building and integrating of AI agents into gaming scenarios (e.g., gameplay, interactions, procedural content generation, dynamic narratives), and integrating a multimodal
-
interact with immersive 3D virtual environments (e.g., Roblox, Minecraft). Integrate AI agents into gaming scenarios (e.g., gameplay, interactions, procedural content generation, dynamic narratives) Leverage
-
nucleic acid-based targeting agents to treat prostate cancer. The successful candidate will focus on the design, synthesis, modification and biophysical characterization of DNA aptamers. This position would