Return-Path: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.0) id <16205-0@swan.cl.cam.ac.uk>; Tue, 12 May 1992 19:48:29 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA05652; Tue, 12 May 92 11:00:54 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Received: from crl.dec.com by ted.cs.uidaho.edu (16.6/1.34) id AA05598; Tue, 12 May 92 11:00:38 -0700 Received: by crl.dec.com; id AA24971; Tue, 12 May 92 14:00:39 -0400 Received: by easynet.crl.dec.com; id AA10553; Tue, 12 May 92 13:58:42 -0400 Message-Id: <9205121758.AA10553@easynet.crl.dec.com> Received: from tecrus.enet; by crl.enet; Tue, 12 May 92 13:58:46 EDT Date: Tue, 12 May 92 13:58:46 EDT From: 12-May-1992 1403 To: info-hol@edu.uidaho.cs.ted, wg102@com.dec.pa.m, nqthm-users@com.cli Apparently-To: nqthm-users@cli.com, wg102@m.pa.dec.com, info-hol@ted.cs.uidaho.edu Subject: Formal verification at Digital In the next two months, we would like to hire someone to join a new team, doing formal verification of computer designs. We'll be looking for someone with experience using a theorem prover for formal verification, probably with a Master's degree, preferably familiar with computer design or VLSI logic design, and (necessarily) able to work here. (An applicant must tell us he or she is a US citizen, permanent resident, temporary permanent resident, asylee, or refugee, or we won't be able to respond.) If you know people looking for that kind of work, we'd love to hear about them. I've sent this message to the info-hol, nqthm, and wg102 mailing lists. Please feel free to pass the word on to other possible sources, too. Thanks, Tim Leonard Semiconductor Engineering Group Digital Equipment Corporation Hudson, Massachusetts Internet: Leonard@ricks.enet.dec.com telephone: (508) 568-5809 FAX: (508) 568-4681