<div dir="ltr">Dear all,<br><br>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.<br><br>The position is available immediately but the start date is negotiable.<br><br>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.<br><br>Interested applicants should contact Jeff Foster at <a href="mailto:jeffrey.foster@tufts.edu">jeffrey.foster@tufts.edu</a> for further information. Please include a CV and/or a pointer to your web page in the email.<br><div><br></div><div>Thanks,</div><div><br></div><div>Jeff</div></div>