[isabelle] Postdoc position @ UAE University, Al-Ain, UAE

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 at uaeu.ac.ae) and Osman Hasan (osman.hasan at seecs.edu.pk) no later than March 6, 2016.Â

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