Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Program
-
Employer
- University of California
- University of Kentucky
- University of Miami
- Carnegie Mellon University
- NEW YORK UNIVERSITY ABU DHABI
- University of British Columbia
- Harvard University
- University of California, Los Angeles
- Case Western Reserve University
- University of Michigan
- National University of Singapore
- Oak Ridge National Laboratory
- University of Washington
- Texas A&M University
- The University of Chicago
- University of Glasgow
- University of Minnesota
- Monash University
- Montana State University
- University of Arkansas
- University of Florida
- University of Tennessee Medical Center at Knoxville
- Zintellect
- Delft University of Technology (TU Delft)
- Northeastern University
- Queen Mary University of London
- Aarhus University
- CNRS
- 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 Texas at Dallas
- Aalborg University
- California State University San Marcos
- ETH Zurich
- Georgetown University
- NTNU - Norwegian University of Science and Technology
- North Carolina State University
- Oregon State University
- University of Delaware
- University of Nevada Las Vegas
- University of Oxford
- 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
- 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
- Carleton University
- 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
- 90 more »
- « less
-
Field
-
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
-
, 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
-
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
-
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
-
For decades, the primary way people who are blind or have low vision (BLV) interact with computers has been through screen readers. These linearise an application or document interface, presenting