Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Technical University of Munich
- University of Texas at Austin
- Stony Brook University
- Télécom Paris
- Universidade Católica Portuguesa - Porto
- University of Kansas
- Aarhus University
- Oak Ridge National Laboratory
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Centro de Estudos Filosóficos e Humanísticos (CEFH) | Universidade Católica Portuguesa
- Chalmers University of Technology
- Kennesaw State University
- Nature Careers
- Poznan University of Technology
- TTI
- 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
-
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
-
/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
-
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
-
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
-
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
-
23 Oct 2025 Job Information Organisation/Company Télécom Paris Research Field Computer science » Modelling tools Researcher Profile First Stage Researcher (R1) Positions Postdoc Positions Country
-
for Computational Sciences, Computing and Computational Sciences Directorate at Oak Ridge National Laboratory (ORNL). This position offers an exciting opportunity to contribute to research in nuclear theory using
-
30 Oct 2025 Job Information Organisation/Company Télécom Paris Research Field Computer science » Informatics Researcher Profile First Stage Researcher (R1) Positions Postdoc Positions Country France