[isabelle] Positions at EPFL



EPFL has possible openings for tenure-track and tenured positions in all
areas, mentioning in particular verification. See attachement.

Tobias

Attachment: epfl.pdf
Description: application/force-download



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.