Benedikt Ahrens, who co-supervised my PhD, has funding for a PhD position at TU Delft 🙂️ I'm copying his ad below. I highly recommend both Delft and Benedikt!
#TypeTheory #Agda #CategoryTheory #PhD
----------
I am looking for a PhD candidate for a 4-year position in the Department of Software […]
mathstodon.xyz
Original post on mathstodon.xyz
![Excerpts: «
In any case, I fully agree with what you wrote (and your email shows that you grasp the situation very well). I, too, am convinced that AI companies do not care about science; if they did, they would have provided more details — for instance, regarding the full range of problems they attempted to solve, the methods employed, and so on. They simply want to train and sell their models; they have chosen mathematics as a battleground and a training ground, and this is causing immense harm to science. I also reject the vision of mathematics turning into a “sort of 'math vibing', where you have to decipher what a computer has compiled, churned through, and spewed into a file” — as you so eloquently put it.
[…]
I don't know how it will all turn out, so I certainly can't promise you anything. But I do know that “understanding” is a human activity — something computers cannot do for us (even if they solve problems better than we do, it serves no purpose unless there are humans who actually understand). Perhaps mathematical research will shift its focus toward the pursuit of interesting questions, illuminating perspectives, or elegant exposition (including aimed at the general public) rather than the race to answer difficult problems; that is what I hope for.
[…]
So, I cannot make any promises to you on what will happen tomorrow. Clearly, you have a very good grasp of the current challenges (better than some of my fellow researchers). I would fully understand if you decided to leave mathematics for another field […] — after all, the very purpose of this program is to enable you to decide what you prefer and what you find most interesting and useful. But what I can say with certainty is that if the advent of AI discourages promising students from pursuing mathematics, that will be the greatest harm it has done to the discipline.
»](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:tnde52rcbqxotp7a2cl7bmxu/bafkreigmxrx62uroyqjionacikvdm5pzgtpkv4dkjlhmcsj42rim7nle7i)
