NATIONAL UNIVERSITY OF SINGAPORE
18 Nov 2023
- NATIONAL UNIVERSITY OF SINGAPORE
- Analysis Discipline
- Pc science
- Researcher Profile
- First Stage Researcher (R1)
- Software Deadline
- 17 Dec 2023 – 00:00 (UTC)
- Sort of Contract
- Job Standing
- Is the job funded by means of the EU Analysis Framework Programme?
- Not funded by an EU programme
- Is the Job associated to employees place inside a Analysis Infrastructure?
The Nationwide College of Singapore invitations functions for the place of Senior Analysis Fellow within the Division of Pc Science, College of Computing (SoC). SoC is strongly dedicated to analysis excellence in all its dimensions: Trying to find elementary outcomes and insights in growing novel computational options to a variety of functions, constructing largescale experimental techniques, growing theories and insurance policies for efficient administration of knowledge techniques in organizations, and bettering the well-being of society. We search to play an lively function each internationally and regionally within the core and rising areas of Pc Science and Info Methods.
Purposes are invited for post-doctoral positions on the Nationwide College of Singapore (NUS) within the space of Automated Program Restore. These positions can be a part of a Singapore Ministry of Training (MoE) Tier 3, multi-year analysis program named “Automated Program Restore” which has been funded 2022-2027. It is a giant analysis program involving a number of analysis tasks in evaluation, verification, check era and functions associated to program restore. To see work carried out on program restore at NUS, kindly see the webpage *https://www.comp.nus.edu.sg/~abhik/tasks/Restore/index.html * Within the new program, we are going to take this work ahead additional. The imaginative and prescient of our analysis program is to retain the workflows of software program development as they exist in the present day within the type of Steady Integration (CI) techniques, and but help automated software program evolution with formal correctness ensures, thereby engendering belief in mechanically generated code. Our analysis program might help obtain such a imaginative and prescient by way of evaluation, verification, and check era. Purposes of restore studied in this system will embrace safety vulnerability restore, patch transplantation throughout variations of main software program techniques comparable to Linux, in addition to the usage of restore in clever tutoring system that now we have developed at NUS, for educating programming.
This system will begin newest by September 2022, and we request candidates to achieve out to us early with the next data. candidates have to have a PhD diploma or must be submitting PhD thesis quickly.
- CV, together with publications
- analysis assertion
- names of three referees
The school members concerned on this analysis program are Wei-Ngan Chin, Abhik Roychoudhury (Lead PI) and Ilya Sergey, all from NUS Pc Science. The postdoc can be situated within the Pc Science Division of NUS, which enjoys a excessive diploma of educational popularity. Emails by candidates could also be directed to Prof Abhik Roychoudhury along with his e mail tackle: [email protected]
- A PhD diploma in Pc Science or associated area
- 3 or extra years’ expertise in analysis
- Good publication report
- Robust techniques improvement abilities
Solely shortlisted candidates can be notified.
Location: Kent Ridge Campus
Group: College of Computing
Division: Division of Pc Science
Worker Referral Eligible: No
Job requisition ID: 22784
The place to use
- Web site
View or Apply
To assist us monitor our recruitment effort, please point out in your e mail – cowl/motivation letter the place (globalvacancies.org) you noticed this job posting.