[TYPES/announce] Research Positions at Kestrel Institute

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Research Positions at Kestrel Institute === Kestrel Institute has several openings for computer science researchers in the broad topics of formal method

[TYPES/announce] Job Opportunities at Kestrel Institute

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Researcher in Applied Software Synthesis Are you interested in developing tools and techniques for the automated synthesis of provably correct softw