coq-club AT inria.fr

Subject: The Coq mailing list

List archive

RE: [Coq-Club] Postdoc position @ UAE University, Al-Ain, UAE

From: vaidas giedrimas <vaigie AT mi.su.lt>
To: <coq-club AT inria.fr>
Subject: RE: [Coq-Club] Postdoc position @ UAE University, Al-Ain, UAE
Date: Sat, 27 Feb 2016 12:47:35 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=vaigie AT mi.su.lt; spf=Pass smtp.mailfrom=vaigie AT mi.su.lt; spf=Pass smtp.helo=postmaster AT su.lt
Ironport-phdr: 9a23:zSYHHRUelFsT+OOgjg6e2G3UdXXV8LGtZVwlr6E/grcLSJyIuqrYZheAt8tkgFKBZ4jH8fUM07OQ6PC/HzJdqs/R+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq8KVPVgD3Wr1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu2pN5g/GOhTCy1jOGQo7uXqswPCRE2B/C1PfH8Rl09WCgnJ5QqyUZb8vjH7s+NmkH2ENMz5TL0cXDXk9LotTAO+23RPDCIw7GyC0p84t6lcuh/0/xE=

Dear colleagues,

I would like to ask is it possible to apply for this position for shorten time, i.e. for 3-6 months?
Is the sallary 15,000AED before taxes or after? If before, then what percentage of taxes will be applied?

Best regards,
Dr. Vaidas Giedrimas
Head of Software Systems department
Siauliai University
Lithuania

Nuo: Osman Hasan
Išsiųsta: ‎2016-‎02-‎25 13:22
Kam: Isabelle Users; Coq Club; acl2 AT utlists.utexas.edu; cvc-users ı[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
Tema: [Coq-Club] 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.

Osman Hasan, Ph.D.
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