Subject: | Post-doctoral Research Fellow Position in Program Repair |
From: | SEWORLD Moderator <[log in to unmask]> |
Reply-To: | SEWORLD Moderator <[log in to unmask]> |
Date: | Fri, 18 Oct 2019 14:14:31 -0000 |
Content-Type: | text/plain |
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
[log in to unmask]
Interested applicants can send their CV to [log in to unmask] 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/
<https://www.comp.nus.edu.sg/%7Eabhik/projects/Repair/>
--
-Abhik Roychoudhury
Professor
School of Co
National University of Singapore
http://www.comp.nus.edu.sg/~abhik
============================================================
To contribute to SEWORLD, send your submission to
mailto:[log in to unmask]
http://sigsoft.org/resources/seworld.html provides more
information on SEWORLD as well as links to a complete
archive of messages posted to the list.
============================================================
|
|
|
|