diff options
Diffstat (limited to 'index.html')
| -rw-r--r-- | index.html | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -28,5 +28,5 @@ title: my special corner of the web In mathematics: I have a particular interest in <b>foundations</b> and <b>category theory</b>: and how they inform what we <i>mean</i> by proof. This in turn has manifested an interest in theorem provers and <b>proof mechanization</b>. </li> </ul> - <p> I am actively looking for a research position on this topic, to start Sep. 2025. If you know a professor who is hiring students or interns for any of the above, please send me an email! </p> + <p> I am actively looking for a research position on this topic, to start Sep. 2026. If you know a professor who is hiring students or interns for any of the above, please send me an email! </p> </div> |