[PRL] Fwd: Position

Pete Manolios pete at ccs.neu.edu
Wed Oct 1 21:31:41 EDT 2008


If anyone is interested, let me know.

Also, colleagues at NASA are telling me that they're gearing up to
start hiring and they are potentially looking to fill several (around
5) Formal Methods positions.

Pete

---------- Forwarded message ----------
From: Jason Baumgartner <jason.r.baumgartner at gmail.com>
Date: Wed, Oct 1, 2008 at 9:03 PM
Subject: Position
To: Panagiotis Manolios <pete at ccs.neu.edu>


Hello Pete. I wanted to ping you regarding an employment opportunity
at IBM in the New York area. IBM is looking for a strong candidate for
a full-time applied formal verification position. Ideally this is
someone +- 1 year of completing a graduate degree. If you know of
anyone who may be interested, please feel free to have them send me
their resume and I will pass it to the relevant hiring group.

Thanks for your consideration. I hope that things are going well with
your relatively new position!

Things are busy with me as always. I do look forward to interfacing
with you on your SRC project. Congratulations on acceptance;
competition was very tight this year!



-- 
Pete Manolios
Northeastern University
http://www.ccs.neu.edu/home/pete



More information about the PRL mailing list