coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Iliano Cervesato <iliano AT andrew.cmu.edu>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Faculty position in programming languages and computational logic
- Date: Wed, 20 Jan 2016 22:41:04 +0300
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=iliano AT andrew.cmu.edu; spf=None smtp.mailfrom=iliano AT andrew.cmu.edu; spf=None smtp.helo=postmaster AT mail-wm0-f50.google.com
- Ironport-phdr: 9a23:KdT7HBEWhxXMONFK2v7EKJ1GYnF86YWxBRYc798ds5kLTJ75osWwAkXT6L1XgUPTWs2DsrQf27SQ6vi5EjVZsd6oizMrTt9lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUiv2OQc9HOnpAIma153xjLDsvcSLOk4R3Wr1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu3MVv9nFvkAUHxmbjh0t4XXskzIShLK7X8BWE0XlABJCk7L9kLURJD05wr+t+N732GxMNfoQKs9RTPqu6ZvSRbujw8OMTIj/X6Rgcltyq9XvUTy9FRE34fIbdTNZ7JFdaTHcIZHHWc=
----------------------------------------------------------------------------------
Title: Two faculty positions
Organization: Carnegie Mellon University (Qatar campus)
Department: School of Computer Science
Carnegie Mellon University in Qatar invites applications for two
teaching-track positions at any level, one in the fields of robotics and
artificial intelligence (position CMUQ-CS15-003), and the other in the fields
of programming languages and computational logic (position CMUQ-CS15-004).
This is a career-oriented renewable appointment that involves teaching
high-achieving international undergraduate students. Candidates must have a
Ph.D. in Computer Science or related field, substantial exposure to
Western-style education, good leadership skills, an outstanding teaching
record, and excellent research accomplishments. As Carnegie Mellon
University takes pride in its diverse faculty and student population, the
successful applicant shall demonstrate experience and effectiveness in
teaching, mentoring and inspiring female undergraduates. Applications by
female candidates are especially encouraged.
The position offers a competitive salary and benefits including a foreign
service premium, excellent international health care coverage, and allowances
for housing, transportation, dependent schooling, and travel. Further
information can be found at http://csjobs.qatar.cmu.edu.
----------------------------------------------------------------------------------
--
Iliano Cervesato www.cs.cmu.edu/~iliano/
Professor Carnegie Mellon University
- [Coq-Club] Faculty position in programming languages and computational logic, Iliano Cervesato, 01/20/2016
Archive powered by MHonArc 2.6.18.