[TYPES/announce] Postdoc position at Tufts University

[Jeff Foster]

Dear all,

I am currently looking for a postdoc to join the TuPL group at Tufts
University. The postdoc would collaborate on a new project in formal
verification of systems that monitor and recover from faults. Candidates
with a background in program verification are preferred, though those with
a strong interest and less experience are very welcome.

The position is available immediately but the start date is negotiable.

Tufts University is located only six miles from historic downtown Boston.
Just three years ago, the department moved into the new Joyce Cummings
Center, and the Medford/Tufts MBTA stop on the Green Line is located
immediately adjacent to our building. Those on campus have extensive
opportunities for academic and industrial collaboration as well as
participation in the rich intellectual life of the area.

Interested applicants should contact Jeff Foster at jeffrey.foster at tufts.edu
for further information. Please include a CV and/or a pointer to your web
page in the email.

Thanks,

Jeff
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250122/e11c95ad/attachment.htm>