1 formal-verification-computer-science Postdoctoral positions at INSERM U1183 in France

Filters Search
  • INSERM U1183 | Montpellier, Languedoc Roussillon | France | about 10 hours ago

    , funded by the ITMO Mathematics and Informatics for Cancer program, is to efficiently process and analyze hundreds of thousands of RNA-seq datasets on human cancer. The central innovation of the project is

Searches related to formal verification computer science

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