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
- 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
- 11 more »
- « less
-
Field
-
Alzheimer’s disease: verification of the neuroprotective efficacy of a selective receptor modulator in mouse and human models of the disease". KEYWORDS: molecular biology, neurobiology, mechanism of cell death
-
10.08.2021, Academic staff Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification - PhD student in
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions