Sort by
Refine Your Search
-
Listed
-
Country
-
Program
-
Employer
- Zintellect
- NEW YORK UNIVERSITY ABU DHABI
- CNRS
- Harvard University
- Northeastern University
- Argonne
- Cornell University
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Technical University of Munich
- University of British Columbia
- University of Oxford
- Université Grenoble Alpes
- Aarhus University
- Amsterdam University of Applied Sciences (AUAS/HvA))
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e)
- Hanken School of Economics
- Helmholtz Association of German Research Centres
- King's College London
- Nanyang Technological University
- National Energy Technology Laboratory (NETL)
- National University of Singapore
- Oak Ridge National Laboratory
- Pennsylvania State University
- Stanford University
- Texas A&M University
- University of California
- University of Groningen
- University of Luxembourg
- University of Miami
- University of Oslo
- University of Sheffield
- University of Turku
- Aalborg University
- Baylor College of Medicine
- Carnegie Mellon University
- Case Western Reserve University
- CeMM - Research Center for Molecular Medicine of the Austrian Academy of Sciences
- Center for Drug Evaluation and Research (CDER)
- Chalmers University of Technology
- City of Hope
- Computer Vision Center
- Duke University
- EPFL
- European Commission - Joint Research Centre
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Hong Kong Polytechnic University
- IRD Occitanie
- Inria, the French national research institute for the digital sciences
- Max-Planck-Institut für Bildungsforschung
- Research Center for Molecular Medicine (CeMM), ÖAW
- Rutgers University
- SUNY University at Buffalo
- Saint Louis University
- Singapore-MIT Alliance for Research and Technology
- St Jude Children's Research Hospital
- Texas A&M AgriLife
- UNIVERSIDAD POLITECNICA DE MADRID
- UNIVERSITY OF SURREY
- Umeå University
- University of Agder
- University of Amsterdam (UvA)
- University of Idaho
- University of Michigan
- University of Minho
- University of Minnesota
- University of Nebraska Medical Center
- University of North Carolina at Chapel Hill
- University of Nottingham
- University of Oxford;
- University of Sheffield;
- University of Stirling
- University of Surrey
- University of Texas at Austin
- University of Twente (UT)
- University of Tübingen
- University of Utah
- University of Washington
- University of Waterloo
- Wageningen University & Research
- Yale University
- eQuest
- muséum national d'histoire naturelle
- 73 more »
- « less
-
Field
-
particular focus on increasingly autonomous and agentic models. The research will examine frontier AI systems that interact with operating systems, APIs, software tools, other agents, and complex environments
-
. 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
-
formation energies, adsorption energies, metal-support interactions) and correlate them against measured kinetic parameters. Contribute to multi-agent hypothesis generation and validation architectures and to
-
-generation autonomous AI agents capable of reasoning, planning, interacting with blockchain ecosystems, and executing complex financial workflows securely and efficiently. The successful candidate will work
-
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