12 formal-verification "LIST" Postdoctoral positions

Sort by: relevance | listed |

Enter an email to receive alerts for formal-verification "LIST" positions

National Institutes of Health: Pathway to Independence Award (Parent K99/R00)

Harvard University | Cambridge, Massachusetts | United States | about 13 hours ago

) institution. All institution/organization types listed above are eligible for both the mentored (K99) and independent (R00) phase, with the following exceptions: (1) Eligible agencies of the Federal government
Developer/PhD/PostDoc-position in quantitative verification or teaching automata theory

Technical University of Munich | Germany | 9 days ago

10.08.2021, Wissenschaftliches Personal Positions in the Formal Methods for Software Reliability group of TU Munich led by Prof. Jan Kretinsky: - postdoc in the area of quantitative verification

Enter an email to receive alerts for formal-verification "LIST" positions