Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Technical University of Munich
- EPFL
- Texas A&M AgriLife
- University of Kansas
- University of Luxembourg
- AGH University of Krakow
- Aarhus University
- Chalmers University of Technology
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- 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
- 13 more »
- « less
-
Field
-
than 18,500 people, including over 14,000 students and 4,000 researchers from more than 120 different countries. Post-doc on formal verification and algorithm discovery for numerical analysis About us and our
-
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
-
the compilation and verification of protocols such as BGP Formal abstractions for packet scheduling: expressive specifications of scheduling policies, and compilation to programmable hardware with
-
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
-
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
-
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
-
(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
-
differentiation. The position will focus on designing and executing experiments involving Cas9 based perturbation, single cell multi omics method development, and downstream verification in transgenic cell lines
-
. 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
-
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