assorted updatesmaster

1 files changed, 1 insertions, 1 deletions

diff --git a/index.html b/index.html
index 37fffdb..e6f969a 100644
--- a/index.html
+++ b/index.html
@@ -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>