1 model-checking positions at Wuhan University in postdoctoral

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for model-checking positions in postdoctoral

Postdoctoral Recruitment Notice for the Research Group of Professor Huai-Liang Chang at Institute for Math & AI, Wuhan & School of Mathematics and Statistics, Wuhan University

Wuhan University | China | 2 months ago

generating functions, and discovered algebraic P-fields, initiating an algebraic-geometric construction of A-model Landau–Ginzburg string theory. His recent interests include the mathematical formulation

Searches related to model checking

Enter an email to receive alerts for model-checking positions in postdoctoral