Sort by
Refine Your Search
-
Category
-
Country
-
Employer
- Technical University of Munich
- Chalmers University of Technology
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Texas A&M AgriLife
- University of Kansas
- University of Luxembourg
- AGH University of Krakow
- CNRS
- INCLIVA Biomedical Research Institute
- Indiana University
- KTH Royal Institute of Technology
- Lehigh University
- Luxembourg Institute of Science and Technology
- Oak Ridge National Laboratory
- Poznan University of Technology
- Stanford University
- Texas A&M University
- University of California Irvine
- University of Florida
- University of Washington
- Warsaw University of Technology
- Washington University in St. Louis
- Wroclaw University of Science and Technology
- 13 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
-
07.07.2026, Academic staff Join us to push the state of the art in formal verification and reachability analysis for discrete-space systems. Your research will focus on the applications of logical
-
scientific life. Selection process The first stage of the competition procedure is the formal verification of the submitted documents. Offers that pass formal verification are subject to substantive evaluation
-
group investigates the mathematical foundations of programming and automated reasoning about software. Our research spans programming languages and type systems, program analysis and verification, logic
-
(12.10.2026 – 11.10.2028), Remuneration: 13 333 PLN gross-gross monthly Selection process verification of formal eligibility, merit-based assessment of the submitted documents, Additional comments Selected
-
. Formal teaching and clinical service responsibilities are not anticipated. The postdoctoral fellow may participate in mentoring or training students and junior laboratory personnel as appropriate
-
speed no human can match — but how can we trust code we did not write ourselves? Formal verification offers a path to mathematically guaranteed correctness, yet combining it with AI-based code generation
-
world-leading research in programming language design, semantics, interactive theorem proving, and formal verification. About the research project We are looking for two Postdocs with a strong background
-
, automated reasoning, constraint or answer-set programming (ASP), rule-based systems); knowledge representation (ontologies, knowledge graphs, state machines); formal methods and verification (model checking
-
the Functional Programming and Formal Methods units. We conduct world-leading research in programming language design, semantics, interactive theorem proving, and formal verification. About the research project We