[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
