[FM-India] Post-doctoral Research Fellow position in Semantic Program Repair

Abhik Roychoudhury abhik at comp.nus.edu.sg
Wed Oct 16 19:22:53 IST 2019

Applications are invited for a post-doctoral research fellow position at 
the National University of Singapore. The position will be for a 
long-term project on Automated Program Repair, entitled "Software 
Recovery using Semantic Program Repair", which will start from January 2020.

The person hired for this position will be based at the National 
University of Singapore, in the group of Abhik Roychoudhury, while also 
collaborating with Sergey Mechtaev (University College London) who is an 
external collaborator in the project.

The project will focus on automated repair of security vulnerabilities, 
and repair of program binaries. In addition, the project will also focus 
on exploiting synergies between search-based and semantic program 
repair, thereby benefiting both techniques. This may involve drawing 
some inspiration from search-based repair techniques, such as the 
representation / navigation of search spaces, to improve the synthesis / 
inference in semantic program repair.

The National University of Singapore provides a stimulating working 
environment, and is located in the vibrant city of Singapore which has 
ample work-life balance and low taxes. Details of the remuneration 
package and benefits can be obtained via email query to 
abhik at comp.nus.edu.sg

Interested applicants can send their CV to abhik at comp.nus.edu.sg to 
start a conversation. Two letters of recommendation will be sought from 
each short-listed applicant.

Past work done in program repair at the National University of Singapore 
can be accessed from https://www.comp.nus.edu.sg/~abhik/projects/Repair/ 

-Abhik Roychoudhury
School of Co
National University of Singapore

More information about the FMIndia mailing list