 The Roots of Mathematical Structuralism, ERC Starting Grant, 03/201702/2022 (Project website in preparation)
 Mathematics: Objectivity by Representation (MathObRe), cofunded by ANRDFG, (Section "Theoretical terms vs. mathematical terms"), Project member, 15/06/2015 14/05/2017
 The Emergence of Mathematical Structuralism: Mathematical and Philosophical Perspectives, FWF Stand Alone Project, FWF (P27718), 01/201502/2017
 Between Logicism and Metalogic: Nonfoundational Uses of Type Theory, Erwin Schrödinger fellowship, FWF (J3158G17), 04/201105/2014
 Carnap’s Early Semantics, DOCGrant, Austrian Academy of Sciences, 01/2008  12/2009

