From: Ralf Jung Date: Wed, 16 Nov 2022 14:13:09 +0000 (+0100) Subject: clarify phd dates X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/ed3579d7d6ad285fefc257e67bf65c8a9e963e99 clarify phd dates --- diff --git a/research/index.html b/research/index.html index 45230bc..5128512 100644 --- a/research/index.html +++ b/research/index.html @@ -9,7 +9,8 @@ Previously, I completed my PhD at PDOS group at MIT CSAIL.

-

If you are interested in doing a PhD or post-doc working on programming language foundations, and in particular formal foundations for Rust, or if you are an ETH student interested in a Master Thesis in that area -- please reach out!

+

If you are interested in doing a PhD or post-doc working on programming language foundations, and in particular formal foundations for Rust, or if you are an ETH student interested in a Master Thesis in that area -- please reach out! +(Note that PhDs at ETH can start any time during the year, not just in September.)

My two main lines of work are about Rust and Iris.
On the Rust side, I am working (also in collaboration with the Rust language team) towards a solid formal foundation for the language, including in particular the unsafe parts.