From: Ralf Jung Date: Mon, 26 Sep 2022 13:28:12 +0000 (+0200) Subject: advertise that I am looking for students :D X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/a5043ff61b84532e25fe632a0ed464d8f2a9eaa6?hp=9bce83e719db1084c74a2ef601c0e5686047f6a3 advertise that I am looking for students :D --- diff --git a/personal/_posts/2022-09-26-cargo-careful.md b/personal/_posts/2022-09-26-cargo-careful.md index fbc49ca..3a1fc6a 100644 --- a/personal/_posts/2022-09-26-cargo-careful.md +++ b/personal/_posts/2022-09-26-cargo-careful.md @@ -23,3 +23,5 @@ There are probably ways to improve this in the future. Meanwhile, if you have some `unsafe` code that for one reason or another you cannot test with Miri, give [`cargo careful`] a try and let me know how it is doing. :) [`cargo careful`]: https://github.com/RalfJung/cargo-careful + +*By the way, I am soon [starting as a professor at ETH Zürich]({% post_url 2022-08-16-eth %}), so if you are interested in working with me on programming language theory as a master student, PhD student, or post-doc, then please [reach out](https://research.ralfj.de/contact.html)!*