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
- Aarhus University
- 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 John Paul II Catholic University of Lublin
- The University of Iowa
- University of Silesia in Katowice
- University of Texas at Austin
- Warsaw University of Technology - Centre for Credible AI
- 10 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
-
, 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
-
ID card For more details, please see: https://hr.utexas.edu/prospective/benefits and https://hr.utexas.edu/current/services/my-total-rewards About the Position Icy ocean worlds, which include bodies
-
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
-
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
-
, 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
-
students and collaborate internationally. Selection process Stage 1 – Formal Verification: Administrative check of documents and eligibility criteria. Stage 2 – Merit-Based Assessment: Committee evaluates
-
are conditional hires and are appointed on an Acting basis not to exceed 6-months. Appointment duration will be extended upon final verification of degree. This position requires a formal degree in the cited