1 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Helsinki Institute of Physics in Finland
Sort by
Refine Your Search
-
the following areas: automated multiloop computations in perturbative quantum field theory, thermal field theory, and model-agnostic equation-of-state inference for neutron-star matter. More information
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions