[TYPES/announce] open faculty search (including PL) in computer science at Boston University

Alley Stoughton alley.stoughton at icloud.com
Thu Oct 13 18:56:50 EDT 2022

The computer science department at Boston University has an open search this year for two assistant professor positions.

We in the programming languages and verification group at BU would especially like to encourage applications from PL and verification researchers.

For more information about the open positions and the CS department, please see the official advertisement:


** Applications will begin to be reviewed on December 2, and will continue to be reviewed into the spring on a rolling basis. But for full consideration, applicants' letters of recommendation must be received by December 2. **

Information about the programming languages and verification group can be found at:


Feel free to contact any of the faculty below with questions.


Marco Gaboardi (gaboardi at bu.edu)
Assaf Kfoury (kfoury at bu.edu)
Alley Stoughton (stough at bu.edu)
Hongwei Xi (hwxi at bu.edu)

More information about the Types-announce mailing list