[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 ([email protected])
Assaf Kfoury ([email protected])
Alley Stoughton ([email protected])
Hongwei Xi ([email protected])
