FYI, Ivan Yashchuk at Aalto is working on Stan + PETSc for PDEs. I asked him to post something about that here.