[TYPES/announce] Postdoc position at Boston College

Joseph Tassarotti tassarot at bc.edu
Sun Nov 15 23:22:31 EST 2020


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>


More information about the Types-announce mailing list