42 formal-verification-computer-science "the" Postdoctoral positions

Sort by: relevance | listed |

Enter an email to receive alerts for formal-verification-computer-science "the" positions

Postdoctoral Researcher - Aerosols and hydroclimate risk

University of Texas at Austin | Austin, Texas | United States | 3 months ago

Job Posting Title: Postdoctoral Researcher - Aerosols and hydroclimate risk ---- Hiring Department: Department of Earth and Planetary Sciences ---- Position Open To: All Applicants ---- Weekly
Developer/PhD/PostDoc-position in quantitative verification or teaching automata theory

Technical University of Munich | Germany | 22 days ago

, or machine learning is also appreciated. PhD: The candidate is expected to have some background in theoretical computer science, including some of the following areas: automata, logic, games, verification

Enter an email to receive alerts for formal-verification-computer-science "the" positions