302 proof-checking-postdoc-computer-science-logic positions in Switzerland

Filters Search

  • The aim of Spark is to fund the rapid testing or development of novel and unconventional scientific approaches, methods, theories, standards, ideas for applications, etc. It is designed for projects that show unconventional thinking and introduce a unique approach. The focus is on promising...

  • To submit an application to the SNSF, you need a written confirmation from the research institution (template is available on mySNF and AVA). At UZH, you will receive the confirmation letter via the approval process in AVA, the UZH third-party funding platform . Here you can find instructions...

Searches related to proof checking postdoc computer science logic

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