Logic List Mailing Archive

CfA: Doctoral and Postdoctoral Positions in Logic / AI / Formal Methods, ETH Zürich, deadline: May 31

Dear colleagues,

I have just published a call for applications for one doctoral and one post-doctoral position in my professorship at ETH starting in the fall semester of 2026.
Please share among relevant candidates.

https://jobs.ethz.ch/job/view/JOPG_ethz_2EWJVO56Ud9X3QT78F
https://jobs.ethz.ch/job/view/JOPG_ethz_lq9GqmszTNADhYMzJ1

All the best, 
Roy.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php