Dear Prof. Swift,
Happy new year to you!
Our group at NECLA has openings for a research staff member and several
internships this year. I have included the information regarding the job
and internships with this email. Can you please forward it to your
students as well as any relevant mailing list? We are looking for
candidates with systems background and familiarity with formal methods.
If you can think of any other groups, feel free to forward it to them as
well.
Please ask interested candidates to apply directly here and choose the
posting for the System Analysis and Verification (SAV) group:
http://www.nec-labs.com/careers/index.phpThanks,
Gogul