Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- Universidade Católica Portuguesa - Porto
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- University of Kansas
- University of Silesia in Katowice
- AGH University of Krakow
- AI4I
- IMT Mines Ales
- Idiap Research Institute
- Jagiellonian University
- Lehigh University
- Maj Institute of Pharmacology Polish Academy of Sciences
- Poznan University of Technology
- The California State University
- The University of Iowa
- University of Agriculture in Krakow
- 5 more »
- « less
-
Field
-
degree; - have relevant scientific achievements; - take an active part in scientific life. Selection process The first stage of the competition procedure is the formal verification of the submitted
-
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
-
exercise, on-site or remotely. Checks: Education, references, and other job-related verifications may be carried out. Job offer: The selected candidate receives a formal job offer upon successful completion
-
, located at Universidade Católica Portuguesa – Centro Regional do Porto, Rua de Diogo Botelho, 1327, 4169-005 Porto, Portugal and will be published on the website http://esb.ucp.pt . Candidates will be
-
, 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
-
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
-
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
-
of two stages: 1) the formal assessment of the submitted documents, 2) merit-based evaluation of the candidates. The formal assessment is preceded by the initial verification of the submitted documents
-
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
-
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