1 proof-checking-postdoc-computer-science-logic PhD positions at Charles University, Faculty of Mathematics and Physics

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

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

PhD position - Modeling of chemistry-climate interaction with emphasis on methane impacts in regional and local scales - Charles University, Prague | Reference Code DCU2025-4

Charles University, Faculty of Mathematics and Physics | Czech | 3 months ago

of chemistry-climate interaction with emphasis on methane impacts in regional and local scales. Reference Code: DCU25-4. The applicants will enter the Ph.D. study program on October 1, 2025 which aligns with

Searches related to proof checking postdoc computer science logic

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