From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA21184; Sun, 30 Jun 2002 23:09:21 +0200 (MET DST) Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id XAA20861 for caml-list@pauillac.inria.fr; Sun, 30 Jun 2002 23:09:21 +0200 (MET DST) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA19014 for ; Sun, 30 Jun 2002 20:23:34 +0200 (MET DST) Received: from izanami.cee.hw.ac.uk (izanami.cee.hw.ac.uk [137.195.52.9]) by nez-perce.inria.fr (8.11.1/8.11.1) with ESMTP id g5UINXf27361; Sun, 30 Jun 2002 20:23:33 +0200 (MET DST) Received: from lxjbw ([137.195.52.90] helo=localhost.localdomain) by izanami.cee.hw.ac.uk with esmtp (Exim 3.33 #1) id 17OjLK-0002hO-00; Sun, 30 Jun 2002 19:22:38 +0100 Received: (from jbw@localhost) by localhost.localdomain (8.11.6/8.9.3) id g5UIMSj15209; Sun, 30 Jun 2002 19:22:28 +0100 X-Authentication-Warning: localhost.localdomain: jbw set sender to jbw@izanami.cee.hw.ac.uk using -f To: jbw@cee.hw.ac.uk Subject: [Caml-list] Research Job: Compositional Analysis & Reasoning for Software Systems @ Heriot-Watt U., Scotland, UK From: Joe Wells Date: 30 Jun 2002 19:22:27 +0100 Message-ID: User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.2 MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk Research Position Useful Logics, Types, Rewriting, and their Automation (ULTRA) Group Computer Science Department School of Mathematical and Computer Sciences Heriot-Watt University Edinburgh, Scotland, UK The HTML version of this job posting can be found at: http://www.cee.hw.ac.uk/~jbw/position-ad.html Description of the Position A research position is available working on modular reasoning and compositional analysis for software at Heriot-Watt University working with Joe Wells. The position is in the ULTRA (Useful Logics, Types, Rewriting, and their Automation) group in the Computer Science Department in the School of Mathematical and Computer Sciences (formerly the Department of Computing and Electrical Engineering) at Heriot-Watt University in Edinburgh, the capital of Scotland. The position involves close collaboration with both the EC-funded DART (Dynamic Assembly, Reconfiguration, and Type-checking) project (members: Genova Univ., Heriot-Watt Univ., Imperial Coll., and Torino Univ.) and the EC, EPSRC, NATO, and NSF-funded Church Project (members: Boston Coll., Boston Univ., Harvard Univ., Heriot-Watt Univ., Wellesley Coll., etc.). It will be helpful if the researcher is competent in 1 or more of the following knowledge areas which are likely to be used in the project. * Formal calculi for reasoning about the meaning of computer systems (including computer programs), especially those with aspects of (a) modules, linking, and loading, (b) concurrency, (c) mobility, (d) staged compilation, (e) objects, (f) resource usage, etc. * Analysis of systems represented in formal calculi. * Constraint solving and unification. * Type systems, especially those with intersection and union types. * Programming languages used for any of the above. The duration of the position is from 6 months to 2.5 years, depending on the circumstances of the researcher, with extensions possible depending on salary, experience, performance, and funding. Applications to spend a shorter period (e.g., the sabbatical leave of an established academic) will be considered. The initial salary will be commensurate with qualifications and experience in the range from 19681 GBP to 26491 GBP per year. The position is available immediately, with the ideal start date being 2002-09-01. It is preferred that before starting the researcher will have completed a Ph.D. in a relevant discipline within Computer Science. Very good Ph.D. students who want to spend a year of their studies this way will be considered. Applicants from outside the European Economic Area (EEA) will be considered. The researcher will probably collaborate on 1 or more of the following activities. The specific activities will be matched to the strengths of the researcher. * Designing new type systems for compositional (modular) analysis of systems that may involve one or more aspects of concurrency, mobility, modularity, objects, run-time code generation, etc. * Designing analysis algorithms for the new type systems. * Designing theories (e.g., "calculi") for reasoning about the meaning of dynamic software assembly, i.e., doing in a non-traditional order one or more of type checking, code generation, linking, loading, etc. * Making software systems incorporating the new type systems, algorithms, and calculi. * Writing scientific reports on the work done. Contact Information Informal inquiries should be directed to Joe Wells at: web: http://www.cee.hw.ac.uk/~jbw/ e-mail: jbw@cee.hw.ac.uk fax: +44 131 449 3834 Formal applications should be directed to the Heriot-Watt Personnel Office at: web: http://www.hw.ac.uk/personnel/ e-mail: personnel@hw.ac.uk voice mail: +44 131 451 3475 fax: +44 131 451 3475 minicom: +44 131 451 8212 post: The Personnel Office Lord Balerno Building Heriot-Watt University EDINBURGH EH14 4AS GREAT BRITAIN Applying for the Position Please use the reference code 106/02/L to help prevent your application from getting mixed up. Please convert Microsoft Word documents to a public, standard, and non-proprietary format. The best format is PDF, because some of our staff will encounter difficulties with HTML or PostScript. To formally apply for this position, please do as many as possible of the items in the following list by 2002-07-24. The first 2 are absolutely necessary and the 4th is quite important. * Cause 3 reference letters to be sent. (If someone in the Heriot-Watt Personnel Office tells you the letters are not needed yet, please ignore them, because we want to see the letters before choosing who to interview.) * Send the following yourself: + your complete curriculum vitae, and + contact details for the people writing your reference letters. * Optionally, also send either of the following: + a brief statement about why your research accomplishments and interests are a good match for the position, and + up to 3 relevant publications of yours. * Get the Heriot-Watt Personnel Office to send you an "application pack". (This contains an application form, an equal opportunities monitoring form, information for applicants with disabilities, and some additional information about Heriot-Watt and the position.) Fill out and return the application form and optionally the equal opportunities monitoring form. If your curriculum vitae is well constructed, then some information requested will be redundant, so just write "see c.v." in those blanks, but return the form anyway. * It is helpful to inform Joe Wells that you are applying so that he knows to ask our personnel office for your application materials. * Anyone who might need a work permit if hired (usually someone who is not a citizen of an EEA country) should also do the following. In addition to possibly being e-mailed or faxed, each letter of reference should also be sent by post on official-looking headed stationery paper and should include details on your whereabouts over the last two years. A work permit application also needs copies of any degree certificates, so it is a good idea to send those also at the same time as you send the rest of your application. For your information, the standard solicitation for a reference letter by Heriot-Watt Personnel Office asks the letter writer for details of: * the capacity in which they know the candidate, * the candidate's skills, abilities and performance in relation to the post applied for, * the candidate's employment record including details of the candidate's role and service dates, * their view of the candidate's suitability for the post as a whole, in light of the attached details and their knowledge of the candidate's experience and abilities, * any further relevant information which would assist us in making an appointment. ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners