Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Sun, 3 Jul 1994 19:17:57 +0100 Received: by leopard.cs.byu.edu (1.37.109.8/16.2) id AA22501; Sun, 3 Jul 1994 12:05:41 -0600 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from grolsch-2.cs.ubc.ca by leopard.cs.byu.edu with SMTP (1.37.109.8/16.2) id AA22497; Sun, 3 Jul 1994 12:05:41 -0600 Received: (from ean@localhost) by grolsch.cs.ubc.ca (8.6.9/8.6.9) id LAA10017 for info-hol@leopard.cs.byu.edu; Sun, 3 Jul 1994 11:03:05 -0700 X400-Received: by mta cs.ubc.ca in /PRMD=/ADMD=/C=/; Relayed; Sun, 3 Jul 1994 11:03:03 UTC-0700 X400-Received: by /PRMD=ca/ADMD=/C=/; Relayed; Sun, 3 Jul 1994 11:03:03 UTC-0700 Date: Sun, 3 Jul 1994 11:03:03 UTC-0700 X400-Originator: joyce@cs.ubc.ca X400-Recipients: non-disclosure:; X400-Content-Type: P2-1984 (2) X400-Mts-Identifier: [/PRMD=ca/ADMD=/C=/;940703110303] Content-Identifier: 8666 Conversion: Prohibited From: Jeffrey Joyce To: info-hol@leopard.cs.byu.edu Message-Id: <"8666*joyce@cs.ubc.ca"@MHS> Subject: possible job opportunity for HOL experts Mime-Version: 1.0 (Generated by Ean X.400 to MIME gateway) I am aware of a major software company in North America that may have a need of a small army of HOL experts beginning as early as September 94 for a period of 6 months to a year (or maybe longer). This work would involve the use of HOL to develop proofs of correctness (and other related HOL based activities) for a system with safety-critical components. (I can't be more specific than that except to say that it's an interesting project in a nice location.) The use of HOL in this project is only a possibility -- however, the decision to use HOL vs. some other approach might be based on the availability of expertise to perform the required proofs of correctness. Thus, I am interested in hearing as soon as possible (i.e., within the next few days) from anyone with HOL expertise (ie., minimum 6 months full-time HOL hacking) who might be available within the above timeframe to work on this project should it became a reality. If you are available/interested, please send a brief email message (to me at ) indicating: 1) availability (eg., "possibly available", "definitely available") for when (e.g., "as early as September 94 for six months") 2) your HOL experience (be specific) 3) your industrial experience 4) your citizenship 5) current affiliation If you are a graduate student (with HOL expertise), it may be possible to coordinate your participation in this project with your home institution as an ``industrial internship''. All replies will be treated confidentially. I cannot tell you more about this project at this time, so please don't ask.