Message-Id: <9105201743.AA14226@easynet.crl.dec.com>
Date: Mon, 20 May 91 13:43:33 EDT
From: "Tim Leonard, Cantab. 20-May-1991 1344" <leonard@com.dec.enet.ricks>
To: info-hol@edu.ucdavis.eecs.aster
Subject: Digital fellowship

Dear fellow formal-methodist:

If you know a good Master's student in formal methods who could use a
fellowship THIS YEAR, please send me the student's name (and email address)
IN THE NEXT FEW DAYS.

Digital's Semiconductor Engineering Group is considering funding a fellowship.
(The tentative wording is the result of obscure legal constraints, for which I
apologize.)  In future years the schedule should be sane, but the fellowship
has just been defined, and it happens that there's a two-week window in which
a student could actually get funded for this year.  It seems a shame to let the
chance slip without trying, so I'm soliciting applicants at warp speed.  If a
student is to receive funds this year, the student must be identified, the
student and the proposed research must be accepted the week after, and a check
must be sent before the end of the month (May 1991).  The fellowship terms are
negotiable, and are likely to cover tuition, books, and similar expenses.

We're most interested in funding a fellowship in which the student might well
want to come work for us afterward (which means the student is probably a
Master's candidate and wants to do formal-methods work in support of chip
design verification, though that includes both hardware and software
verification), and in which we will likely want to hire the student
afterward (which means the student is good and is a U.S. citizen), and
in which we might be interested in having a continuing relationship with the
faculty.

If you know of appropriate students, please send me their names and email
addresses.  It would also be very useful, though it's not necessary, if you
could include phone numbers, a description of research interests, and a quick
description of strengths.  If you need more information, send me email at
Leonard@Ricks.enet.dec.com, or call me at (508) 568-5809.

Thanks,
Tim Leonard