2 formal-verification-computer-science Postdoctoral positions at The University of Iowa

Filters Search
  • The University of Iowa | Iowa City, Iowa | United States | about 14 hours ago

    for the rule, and the names of at least two references. Computational Logic Center The postdoctoral scholar will join the Computational Logic Center (CLC) within the department of computer science. The CLC

  • The University of Iowa | Iowa City, Iowa | United States | about 1 month ago

    scholar will join the Computational Logic Center (CLC) within the department of computer science. The CLC performs research across programming languages, formal verification, and automated reasoning, and

Searches related to formal verification computer science

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