[FM-India] Post-doc position in Program Repair using Formal Techniques at NUS

Abhik Roychoudhury abhik at comp.nus.edu.sg
Tue Aug 10 10:59:44 IST 2021

Dear Colleague

My apologies for this one unsolicited email, and trust this email finds 
you well.

We have a post-doctoral position on automated program repair, 
specifically using program analysis / formal reasoning, at NUS.


NUS Program Repair page: 

Post-doc position description: 


If you know any graduating students who may be interested, or any 
postdocs who may want a new stint, please share this email, if possible.

Kind regards

-Abhik Roychoudhury
School of Computing
National University of Singapore

More information about the FMIndia mailing list