coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Osman Hasan <osman.hasan AT seecs.edu.pk>
- To: Isabelle Users <cl-isabelle-users AT lists.cam.ac.uk>, Coq Club <coq-club AT inria.fr>, acl2 AT utlists.utexas.edu, cvc-users ı[cvc-users AT cs.nyu.edu]ı <cvc-users AT cs.nyu.edu>, pvs AT csl.sri.com, theory-logic AT cs.cmu.edu, formal-methods AT cs.uidaho.edu, nuprlnotes AT cs.cornell.edu, theorem-provers AT ai.mit.edu
- Subject: [Coq-Club] Postdoc position @ UAE University, Al-Ain, UAE
- Date: Thu, 25 Feb 2016 16:22:50 +0500
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=osman.hasan AT seecs.edu.pk; spf=Pass smtp.mailfrom=osman.hasan AT seecs.edu.pk; spf=None smtp.helo=postmaster AT mail-wm0-f51.google.com
- Ironport-phdr: 9a23:SbUeyR+/ojz/Rf9uRHKM819IXTAuvvDOBiVQ1KB60O8cTK2v8tzYMVDF4r011RmSDdqdtaoP0bqempujcFJDyK7JiGoFfp1IWk1NouQttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXsq3G/pQQfBg/4fVIsYL+lRciM14/th6ibwN76XUZhvHKFe7R8LRG7/036l/I9ps9cEJs30QbDuXBSeu5blitCLFOXmAvgtI/rpMYwuwwZgf8q9tZBXKPmZOx4COUAVHV1e1wysezwvBPOSQ+CrkYHX38N2k5DB03E9xjwU5P1v27nrednwwGePNbqVvY/UDHk5qwtVRy+zG8sMCdx22XKgIQkh6VC5RmluhZXwojOYYjTOuAoOuvUdtdAbXddWsdKSzcHH5+xf4IUSecNIKIQpJf24kYVoAGlTQifD/3kjyJTi2Xt9aYhleIwDEfL0BEVHppau2rf6cjuOb0Jeeuuiq/Z0HPOY+4AnX/l9pPgeQsl5+qWXPR7ds+VgVUvGgTfnxCUroPkNBuezaIGtnXd4uZ9EaqhjHQiogU0pzWzxsAgkaHCncQIy1zN9SI/zYooYZW+VVZhZdijDJZLnyqBcYBxWMUvR2UutSonjvUauZO8ZiUPjYw9wADSceeveonO5xP/EuudPGRWnnVgLZWkgh+0uWip0eT6Hp2zy1NDqGxFm8LFsFgW2hHY8Y6KRuY75kT3imXH7Bza9uwReRN8rqHcMZN0h+dozpc=
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.
Head of Department (Research),
Location: A.307 Faculty Block
School of Electrical Engineering and Computer Science,
NUST, Sector H12, Islamabad, Pakistan.
Voice : +92.51.90852137
Web: ohasan.seecs.nust.edu.pk
- [Coq-Club] Postdoc position @ UAE University, Al-Ain, UAE, Osman Hasan, 02/25/2016
- RE: [Coq-Club] Postdoc position @ UAE University, Al-Ain, UAE, vaidas giedrimas, 02/27/2016
Archive powered by MHonArc 2.6.18.