VIRAT: Foundations of Logical Consequence - Post-Doctoral Fellowship St Andrews