[TYPES/announce] Postdoc position at Boston College

[Joseph Tassarotti]

A postdoctoral position is available in the Computer Science department at
Boston College as part of an NSF-supported project on formal verification
of machine learning algorithms. Candidates should have an interest in
formal verification and/or semantics of probabilistic programs.

Applications will be reviewed on a rolling basis until the position is
filled. The starting date is flexible, and may be as early as January 2021.

Please contact me for further information.

Applications may be submitted here:
https://bc.csod.com/ux/ats/careersite/2/home/requisition/4223?c=bc
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20201115/1945ad5c/attachment.htm>