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

[Alley Stoughton]

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:

https://urldefense.com/v3/__https://bu.edu/cs/2022/10/04/bu-cs-invites-applications-for-new-faculty-members-2022/__;!!IBzWLUs!XNF5ZQ5CXEEp1jyvqqQn0E2T4kGlY6rzmWkHKVI4FZzZ659irX9C6GhC_9rCnSERNhV91sOt2Z5XymikL6iw7sKFMxPSYP9lg_SlTUPU$  

** 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:

https://urldefense.com/v3/__https://www.bu.edu/cs/research/popv/__;!!IBzWLUs!XNF5ZQ5CXEEp1jyvqqQn0E2T4kGlY6rzmWkHKVI4FZzZ659irX9C6GhC_9rCnSERNhV91sOt2Z5XymikL6iw7sKFMxPSYP9lg-Zggxiv$  

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

Regards,

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