Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Duke University
- Cornell University
- University of North Carolina at Chapel Hill
- University of Oxford
- Argonne
- Bowdoin College
- Harvard University
- Northeastern University
- NEW YORK UNIVERSITY ABU DHABI
- Stanford University
- University of Washington
- Delft University of Technology (TU Delft)
- Oak Ridge National Laboratory
- Rutgers University
- Texas A&M University
- Baylor College of Medicine
- CNRS
- Eindhoven University of Technology (TU/e)
- MOHAMMED VI POLYTECHNIC UNIVERSITY
- National Energy Technology Laboratory (NETL)
- Pennsylvania State University
- Texas A&M AgriLife
- University of Luxembourg
- 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 Amsterdam (UvA)
- University of California
- University of Groningen
- University of Maryland, Baltimore
- University of Miami
- University of Turku
- Virginia Tech
- XIAN JIAOTONG LIVERPOOL UNIVERSITY (XJTLU)
- Zintellect
- AALTO UNIVERSITY
- 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
- INCLIVA Biomedical Research Institute
- IRD Occitanie
- Imperial College London
- 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
- Princeton University
- Purdue University
- 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 Arizona
- The University of Iowa
- The University of South Dakota
- Tsinghua University
- Umeå University
- University College Dublin
- University of Antwerp
- University of California Irvine
- University of California, Berkeley
- University of Colorado
- University of Houston
- University of Liverpool
- University of Lund
- University of Minnesota
- University of Nebraska Medical Center
- University of North Texas at Dallas
- University of Oxford;
- University of Pittsburgh, Pittsburgh , Pennsylvania, US
- University of Skövde
- 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
-
Interest in lab-automation and working with agentic AI (e.g. Claude Code, Codex) Excellent communication skills in English Strong academic track-record and publication history The ability to collaborate in a
-
, qualification, and deployment of AI agents and models, Computational Fluid Dynamics (CFD) simulation codes, and Finite Element Method (FEM) based tools for nuclear energy (fission and fusion) applications
-
intelligence is available at the Bernoulli Institute of the University of Groningen in the Netherlands. The position is situated in the multi-agent systems group as part of the Hybrid Intelligence Centre, under
-
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
-
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
-
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