Sort by
Refine Your Search
-
Category
-
Country
-
Program
-
Employer
- University of California
- University of Kentucky
- University of Miami
- Carnegie Mellon University
- Harvard University
- University of British Columbia
- University of California, Los Angeles
- Case Western Reserve University
- NEW YORK UNIVERSITY ABU DHABI
- University of Michigan
- National University of Singapore
- Oak Ridge National Laboratory
- University of Washington
- Monash University
- Texas A&M University
- The University of Chicago
- University of Minnesota
- Montana State University
- University of Arkansas
- University of Florida
- University of Glasgow
- University of Tennessee Medical Center at Knoxville
- Northeastern University
- Queen Mary University of London
- Zintellect
- Aarhus University
- Duke University
- Nanyang Technological University
- Rutgers University
- Singapore Management University
- Stony Brook University
- Technical University of Munich
- Texas A&M AgriLife
- University of Maryland, Baltimore
- University of Oxford
- University of Texas at Dallas
- Aalborg University
- CNRS
- California State University San Marcos
- Delft University of Technology (TU Delft)
- ETH Zurich
- Georgetown University
- NTNU - Norwegian University of Science and Technology
- North Carolina State University
- University of Delaware
- University of Nevada Las Vegas
- University of Pennsylvania
- University of Sheffield
- University of Twente (UT)
- Wageningen University & Research
- Argonne
- Brown University
- California State University, Northridge
- Chalmers University of Technology
- Cornell University
- Eindhoven University of Technology (TU/e)
- Fondazione Bruno Kessler
- Fraunhofer-Gesellschaft
- Helmholtz Association of German Research Centres
- King's College London
- NIST
- NTNU Norwegian University of Science and Technology
- North Carolina A&T State University
- Oregon State University
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- St Jude Children's Research Hospital
- The University of Alabama
- University of Colorado
- University of Lund
- University of Luxembourg
- University of Nottingham
- University of Oslo
- University of Tübingen
- University of Utah
- Université Grenoble Alpes
- ;
- Aalborg Universitet
- Amsterdam University of Applied Sciences (AUAS/HvA))
- Austin Community College District
- BI Norwegian Business School
- Baylor College of Medicine
- California Baptist University
- California Institute of Technology
- Chapman University
- Computer Vision Center
- Dana-Farber Cancer Institute
- EPFL
- East Carolina University
- Hanken School of Economics
- Heriot Watt University
- Hong Kong Polytechnic University
- Inria, the French national research institute for the digital sciences
- James Madison University
- Leiden University
- Luleå tekniska universitet
- National Energy Technology Laboratory (NETL)
- Pennsylvania State University
- Stanford University
- Temple University
- The California State University
- 90 more »
- « less
-
Field
-
Inria, the French national research institute for the digital sciences | Villeurbanne, Rhone Alpes | France | about 1 month ago
management. At the same time, agentic AI introduces significant privacy and security challenges. Agents may accumulate and process sensitive personal information, use it to interact with external services, and
-
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 London’s operations. The programme is building a secure, cloud-native AI platform on Microsoft Azure and Kubernetes, which will serve as the university’s central capability for deploying LLM-powered agents
-
the Advanced Research + Invention Agency (ARIA): https://agentic-sel4.github.io/ Key responsibilities include: Researching and developing software aligned to Work Package 2 of the Agentic-seL4 project (see
-
into the PROMETHEUS multi-agent Agent interaction, explainability and uncertainty: Contribute to architectures that combine specialized AI components, knowledge-based reasoning and clinically interpretable outputs
-
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
-
the future. You will support our team in the field of Human-AI Interaction and work on applied research projects carried out in cooperation with industry or research partners. This will allow you to put your
-
, intelligent feedback systems, and other interactive learning applications. Lead the design, evaluation, and continuous improvement of AI-enabled educational platforms and digital learning tools, working 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