Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- University of Kansas
- Universidade Católica Portuguesa - Porto
- Oak Ridge National Laboratory
- Stony Brook University
- Technical University of Munich
- University of Silesia in Katowice
- University of Texas at Austin
- AGH University of Krakow
- AI4I
- Aarhus University
- IMT Mines Ales
- Idiap Research Institute
- Jagiellonian University
- Kennesaw State University
- Lehigh University
- Maj Institute of Pharmacology Polish Academy of Sciences
- Nature Careers
- Technical University of Denmark
- Texas A&M University
- The California State University
- The University of Iowa
- University of Agriculture in Krakow
- University of Delaware
- 14 more »
- « less
-
Field
-
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
-
Date: 01 July-01 December 2025 Closing Date for Applicants: 15 June 2025 Duration: 3 years with a possible extension (individual duration for Postdocs). Project and Job Description Formal verification
-
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
-
formal methods techniques, such as model checking, deductive verification, and symbolic execution. It aims to apply these techniques to production-level scientific libraries, such as PETSc and Flash-X
-
, 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
-
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
-
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
-
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
-
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
-
requirements quality assurance and architecture analysis, as well as downstream verification & validation activities, such as software testing and runtime verification. For further information, you may refer to