Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Stony Brook University
- Technical University of Munich
- University of Kansas
- University of Texas at Austin
- Télécom Paris
- Universidade Católica Portuguesa - Porto
- Aarhus University
- Oak Ridge National Laboratory
- AI4I
- 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
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Kennesaw State University
- Nature Careers
- Poznan University of Technology
- TTI
- Texas A&M AgriLife
- 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
- 16 more »
- « less
-
Field
-
/ 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
-
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
-
algorithms where the agent can propose updates to its own world model structure, but these updates are only accepted after a formal verification step confirms that the new model still adheres to its core
-
fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus of the position
-
-oriented features, present a large attack surface that traditional verification techniques—such as formal methods—struggle to cover. To effectively mitigate this growing threat landscape, vulnerability
-
nuclear forces, determining the limits of nuclear stability, and identifying signatures of new physics beyond the Standard Model. Major Duties/Responsibilities: Develop formalism, methods, and algorithms
-
Fonden we have several postdoc and PhD openings in the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University. The research topics at the Center
-
scholar will join the Computational Logic Center (CLC) within the department of computer science. The CLC performs research across programming languages, formal verification, and automated reasoning, and
-
deployable quantum and AI technologies for reliable and secure power systems. ● Deliver quantum electromagnetic transient programs and integrate them with specific platforms. ● Develop formal
-
complex circuits. The team is particularly interested in formal methods and system verification to ensure reliability from the earliest development stages. A major research focus concerns hardware security