6 proof-checking-postdoc-computer-science-logic positions at Stockholms universitet in Sweden
Sort by
Refine Your Search
-
different branches of mathematics, from algebra, geometry and analysis to mathematical logic, mathematical statistics and computational mathematics. Subject Mathematics with focus on mathematical logic
-
Technology (WACQT) is a 12-year initiative aimed to bring Swedish academia and industry to the forefront of quantum technology. The four pillars of quantum technology are: quantum computing, quantum simulation
-
program in Environmental Science, a MSc program in Environmental and Health Protection, and a PhD program in Environmental Science. The Atmospheric Science Unit annually produces several dozen peer-reviewed
-
of mathematics, from algebra, geometry and analysis to mathematical logic, mathematical statistics and computational mathematics. Subject Mathematics Main responsibilities Research, teaching and supervision
-
Mar 2025 - 22:59 (UTC) Type of Contract Permanent Job Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position
-
Researcher (R3) Country Sweden Application Deadline 7 Apr 2025 - 21:59 (UTC) Type of Contract Permanent Job Status Full-time Is the job funded through the EU Research Framework Programme? Not funded by a EU