Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Universidade Católica Portuguesa - Porto
- University of Kansas
- Aarhus University
- Nature Careers
- Technical University of Munich
- The University of Iowa
- University of Silesia in Katowice
- AGH University of Krakow
- IMT Mines Ales
- Idiap Research Institute
- Lehigh University
- Maj Institute of Pharmacology Polish Academy of Sciences
- Poznan University of Technology
- TTI
- Technical University of Denmark
- Texas A&M University
- The California State University
- Télécom Paris
- University of Agriculture in Krakow
- University of Delaware
- University of Texas at Austin
- 12 more »
- « less
-
Field
-
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
-
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
-
performs research across programming languages, formal verification, and automated reasoning, and includes J. Garrett Morris , Cesare Tinelli , Katherine Kosaian , as well as several research scientists
-
such as scalable identification algorithms, uncertainty quantification, and the integration of learning-based models with formal verification. We offer a supportive, inclusive, and collaborative research
-
: Depending on the role, candidates may complete a case study, technical task, presentation, or written exercise, on-site or remotely. Checks: Education, references, and other job-related verifications may be
-
verification of degree. This position requires a formal degree in the cited discipline area(s) to ensure that candidates have advanced knowledge, analytical skills and professional competencies necessary
-
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
-
complex and performance-oriented features, present a large attack surface that traditional verification techniques—such as formal methods—struggle to cover. To effectively mitigate this growing threat
-
from the end of the candidates’ response period), the panel’s final decision is issued. 11. Formal application procedure Applications are formalized completing the application form available at https
-
days (counting from the end of the candidates’ response period), the panel’s final decision is issued. 11. Formal application procedure Applications are formalized by completing the application form