Email Gateway (Aug 22 2022 at 12:43): Email Gateway (Aug 22 2022 at 12:43):From: Osman Hasan via Cl-isabelle-users <cl-isabelle-users@lists.cam.ac.uk>
The Electrical Engineering Department (http://www.eng.uaeu.ac.ae/en/departments/elec/) at the United Arab Emirates University is seeking a post-doctoral fellow (PDF) for their joint collaborative project with the System Analysis and Verification (SAVe) (http://save.seecs.nust.edu.pk/) of National University of Sciences and Technology, Pakistan. The candidate is expected to have an established research record in the area of Formal Verification. The PDF would be mainly involved in the formal analysis of algorithms using model checking and theorem proving and thus is required to have a strong background in logic and programming. Candidates with research interests in automatic and interactive theorem proving, higher-order logic and probabilistic model checking are encouraged to apply.
This two-year position is based in Al-Ain, UAE and the working language is English. The offered salary is 15,000AED per month and the starting date is expected to be in early summer. Interested candidates should send their resume directly to Dr. Falah Awwad (F_awwad@uaeu.ac.ae) and Osman Hasan (osman.hasan@seecs.edu.pk) no later than March 6, 2016.
Last updated: Apr 24 2024 at 08:20 UTC