2 proof-checking-postdoc-computer-science-logic positions at Fields Institute

Filters Search
  • Fields Institute | Central Toronto Roselawn, Ontario | Canada | about 17 hours ago

    , applied mathematics, statistics, computer science, strong gravity, condensed matter theory, particle physics, quantum fields & strings, quantum gravity, quantum foundations, quantum Appl Deadline: 2026/01

  • Fields Institute | United States | about 2 months ago

    : Nonlinear evolution equations in physical and life sciences (the "Program") taking place at the Fields Institute from January 1 - June 30, 2026. More information on the program will be posted here as it

Searches related to proof checking postdoc computer science logic

Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions