Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- University of Texas at Austin
- Stony Brook University
- Télécom Paris
- Universidade Católica Portuguesa - Porto
- University of Kansas
- Oak Ridge National Laboratory
- AI4I
- Aarhus University
- Centro de Estudos Filosóficos e Humanísticos (CEFH) | Universidade Católica Portuguesa
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Kennesaw State University
- Nature Careers
- Poznan University of Technology
- TTI
- Technical University of Munich
- Texas A&M University
- The John Paul II Catholic University of Lublin
- The University of Iowa
- Universidade Católica Portuguesa - CATÓLICA-LISBON
- Universidade Católica Portuguesa - RIO
- University of Agriculture in Krakow
- University of Lodz
- University of Luxembourg
- Warsaw University of Technology - Centre for Credible AI
- 14 more »
- « less
-
Field
-
Computer Science, Engineering, Mathematics, or a related field with a focus on machine learning, security, or formal methods. Strong publication record in top-tier conferences or journals in AI security, adversarial
-
degree or PhD in Computer Science, Electrical Engineering, Control Systems, or a closely related field. Experience in reachability analysis, formal verification/model checking, control theory, or related
-
course in Texas A&M's acclaimed undergraduate engineering ethics program and contribute to the organization of programming associated with the Bovay Endowed Chair of History and Ethics of Professional
-
4 Dec 2025 Job Information Organisation/Company Fundació Hospital Universitari Vall d'Hebron- Institut de recerca Department Research Department Research Field Biological sciences » Biology
-
/or networked microgrids. Brief Description of Duties: The Postdoctoral Associate will assist the Principal Investigator Dr. Peng Zhang in the Department of Electrical and Computer Engineering . The
-
of the three research units of the Jackson School of Geosciences at the University of Texas at Austin. Scientists and students at UTIG conduct expeditionary research in Earth Science in all parts of the world
-
on an employment contract, including an employer based outside the territory of Poland. Selection process The first stage of the competition procedure is the formal verification of the submitted documents. Offers
-
before its withdrawal. Selection process The course of the competition procedure The first stage of the competition process involves the formal verification of the documents submitted. Offers that pass
-
/ Deep Learning (particularly Computer Vision or 3D perception) Verification & Validation (V&V) of advanced algorithms, software or systems Formal Methods Safety Engineering / Safety-Critical Systems
-
This is a full-time (37 hours/week) on-site role located at Åbogade 34, 8200 Aarhus N, Denmark for a Postdoctoral Fellow at the Department of Computer Science, Aarhus University. The postdoctoral