Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Technical University of Munich
- Universidade Católica Portuguesa - Porto
- University of Kansas
- AI4I
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- IMT Mines Ales
- Idiap Research Institute
- Jagiellonian University
- Kennesaw State University
- Lehigh University
- Maj Institute of Pharmacology Polish Academy of Sciences
- Poznan University of Technology
- TTI
- The California State University
- The John Paul II Catholic University of Lublin
- The University of Iowa
- University of Agriculture in Krakow
- University of Silesia in Katowice
- 9 more »
- « less
-
Field
-
of Hardware verification, we aim to develop a neuro-symbolic AI platform to convert informal digital design specifications into formally checkable verification artifacts, with logical rigor, traceability, and
-
who can provide references for the candidate; list of publications Selection process Competition procedure course: The first step of the competition procedure is the formal verification of the submitted
-
, and support grant proposals. The Postdoctoral Research Associate will be formally appointed in the area that best aligns with their career goals and educational background, based on the candidate’s
-
point, from January 20, 2026. until February 3, 2026. (until 5 pm, Lisbon time). Applications are formalized by completing the Application Form https://hr-ucpporto.inqueritos.porto.ucp.pt/782782?lang=en
-
the next generation of secure agentic AI systems through cutting-edge research in adversarial machine learning and formal verification. The Role As a research scientist, you will contribute to frontier AI
-
of the candidates. The formal assessment is preceded by the initial verification of the submitted documents confirming fulfilment of the requirements defined in the open call announcement. In the case of doubts
-
, etc.). Robust AI (knowledge of methods for quantifying uncertainty in deep learning or formal verification methods applied to deep learning) Embedded AI Reinforcement learning, supervised and
-
to exceed 6-months. Appointment duration will be extended upon final verification of degree. This position requires a formal degree in the cited discipline area(s) to ensure that candidates have advanced
-
supervision and group supervision from licensed psychologists commensurate with California State Board of Psychology licensure requirements. Fellows are required to make formal case presentations to staff
-
students and collaborate internationally. Selection process Stage 1 – Formal Verification: Administrative check of documents and eligibility criteria. Stage 2 – Merit-Based Assessment: Committee evaluates