From ba0a501ea74045d52348a4654a0cc736ab01ea8f Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 18 Nov 2022 18:32:21 +0100 Subject: [PATCH 1/1] also mention application deadline for direct doctorate --- research/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/research/index.html b/research/index.html index 177deb1..9700308 100644 --- a/research/index.html +++ b/research/index.html @@ -13,7 +13,7 @@ I also did a post-doc in the PDOS groupcontact me directly. Please explain why you are interested in a PhD in this field and what your prior experience is. Also include a CV and possible contacts for recommendation letters. -Note that doing a PhD at ETH Zürich generally requires a Master's degree, but there is a direct doctorate program that you can enter with a Bachelor's degree.

+Note that doing a PhD at ETH Zürich generally requires a Master's degree, but there is a direct doctorate program that you can enter with a Bachelor's degree (application deadline December 15th).

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. -- 2.30.2