A sharing platform for the Computer-Aided Verification community
The Department of Electrical & Computer Engineering at the University of Waterloo urgently invites applications for a tenure track position with an anticipated start date of January 01, 2021. Please find more information on this website.
Tenure Track Research Position – Computer Science – Automation of Formal Reasoning The Institute of Computer Sciences of the Czech Academy of Sciences (ICS CAS), Prague, Czech Republic, invites applications for one tenure-track position in Computer Science. We especially seek applicants from fields that in one way or other contribute to the automation of formal Read More …