8 February 2023
The ERC Consolidator Grants are designed to support excellent Principal Investigators at the career stage at which they may still be consolidating their own independent research team or programme. Principal Investigators must demonstrate the ground-breaking nature, ambition and feasibility of their scientific proposal.
Size of ERC Consolidator Grants
Consolidator Grants may be awarded up to a maximum of EUR 2 000 000 for a period of 5 years. The maximum size of the grants is reduced pro rata temporis for projects of a shorter duration. (This does not apply to ongoing projects).
Jasmin Blanchette, from the Theoretical Computer Science group at the VU, has been awarded an ERC consolidator grant for his project Nekoka: Realizing the Promise of Higher-Order SMT and Superposition for Interactive Verification. The grant will allow him to build a team of eight researchers to increase proof automation in interactive proof assistants and other formal verification tools.