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

[Abhik Roychoudhury]

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: 
https://www.comp.nus.edu.sg/~abhik/projects/Repair/index.html

Post-doc position description: 
https://www.comp.nus.edu.sg/~abhik/projects/Repair/APR-Postdoc-Position.pdf

----------------------------

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
https://www.comp.nus.edu.sg/~abhik