Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Duke University
- Cornell University
- University of Oxford
- University of North Carolina at Chapel Hill
- Argonne
- Bowdoin College
- Northeastern University
- Stanford University
- Harvard University
- NEW YORK UNIVERSITY ABU DHABI
- University of Washington
- Oak Ridge National Laboratory
- Rutgers University
- Texas A&M AgriLife
- The University of Arizona
- Baylor College of Medicine
- CNRS
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e)
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- National Energy Technology Laboratory (NETL)
- Pennsylvania State University
- Texas A&M University
- University of California
- Université Grenoble Alpes
- Aarhus University
- Bucharest Universty of Economic Studies
- EPFL
- Empa
- European University Institute
- Helmholtz Association of German Research Centres
- McGill University
- SUNY University at Buffalo
- St Jude Children's Research Hospital
- Stony Brook University
- THE UNIVERSITY OF HONG KONG
- University College Cork
- University Medical Centre Groningen (UMCG)
- University of Groningen
- University of Maryland, Baltimore
- University of Miami
- University of Minnesota
- University of Turku
- Virginia Tech
- XIAN JIAOTONG LIVERPOOL UNIVERSITY (XJTLU)
- Zintellect
- AALTO UNIVERSITY
- ARCNL
- Aalborg University
- Aston University
- Boise State University
- Boston University
- Bournemouth University;
- Carnegie Mellon University
- CeMM - Research Center for Molecular Medicine of the Austrian Academy of Sciences
- Chalmers University of Technology
- Computer Vision Center
- European Space Agency
- FAPESP - São Paulo Research Foundation
- FUNDACIÓ ESADE - UNIVERSITAT RAMON LLULL
- Ghent University
- Högskolan i Skövde
- INCLIVA Biomedical Research Institute
- IRD Occitanie
- Imperial College London
- Inria, the French national research institute for the digital sciences
- Institut Pasteur
- Iowa State University
- KTH Royal Institute of Technology
- Leiden University
- Massachusetts Institute of Technology
- New York University
- North Carolina A&T State University
- Purdue University
- RIKEN
- Research Center for Molecular Medicine (CeMM), ÖAW
- SINGAPORE INSTITUTE OF TECHNOLOGY (SIT)
- Saarland University
- Saint Louis University
- SciLifeLab
- Singapore-MIT Alliance for Research and Technology
- Technical University of Munich
- The University of Iowa
- The University of South Dakota
- Tsinghua University
- Umeå University
- University College Dublin
- University of Amsterdam (UvA)
- University of Antwerp
- University of California Irvine
- University of California, Berkeley
- University of Cambridge;
- University of Colorado
- University of Glasgow
- University of Houston
- University of Limerick
- University of Lund
- University of Luxembourg
- University of Nebraska Medical Center
- University of North Texas at Dallas
- 90 more »
- « less
-
Field
-
code Developing agentic AI workflows for specification autoformalization, proof generation, and proof repair Build a strong network in the fields of formal verification, systems, and ML infrastructure
-
of electrochemistry and artificial intelligence. Ideal candidates will have experience in machine learning, large language models, AI-agent development and computational workflows, with particular interest in building
-
generally. We tackle problems in single and multi-agent systems operating in uncertain environments and around humans. We typically work with Markov decision processes (MDPs), and are interested in both
-
technology development project in which UCC collaborates with two companies, Danalto and Qorvo. The UCC part of the project focuses on the development of agentic AI and digital twin concepts for Ultra-Wideband
-
and Qorvo. The UCC part of the project focuses on the development of agentic AI and digital twin concepts for Ultra-Wideband (UWB) RF sensing, localisation, and vital sign recognition. The successful
-
Your research is situated in the EU-funded Horizon Europe project EOSC-ARENA (AI Research Enhancement through Networked Agents), funded under the European Commission’s GenAI4EU initiative. The overall
-
Center (TrAC) at Iowa State University seeks a Postdoctoral Research Associate to advance uncertainty quantification for large language models and agentic AI systems. The successful candidate will develop
-
centre in diamond—have demonstrated the promise of spin-based quantum-sensing, e.g., sub-cellular magnetic-resonance spectroscopy under ambient conditions. However, quantum sensing involves a delicate
-
eligibility criteria. Documented ability to work independently and autonomously. Experience in the development of distributed AI or multi-agent systems based on current research. A relevant publication record
-
, infectious agents, animals, human subjects, and the like Open and timely discussion with the mentor regarding all facets of the Postdoctoral Appointee's research activities. Postdoctoral Appointees