Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Aarhus University
- Universidade Católica Portuguesa - Porto
- University of Kansas
- Nature Careers
- Technical University of Munich
- The University of Iowa
- University of Silesia in Katowice
- AGH University of Krakow
- Aalborg Universitet
- Aalborg University
- KTH Royal Institute of Technology
- Lehigh University
- 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
-
will include the development of language features and formal semantics for programming and modeling distributed quantum systems, enabling correct composition, communication, and verification of quantum
-
will include the development of language features and formal semantics for programming and modeling distributed quantum systems, enabling correct composition, communication, and verification of quantum
-
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
-
. This eligibility requirement must be met no later than the time the employment decision is made. The candidate should have a strong background from at least one of the areas of formal verification and system
-
: 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
-
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