Senior Research Fellow, School of Computing

18 Nov 2023
Job Info

Organisation/Firm

NATIONAL UNIVERSITY OF SINGAPORE

Analysis Discipline

Pc science

Researcher Profile

First Stage Researcher (R1)

Nation

Singapore

Software Deadline

17 Dec 2023 – 00:00 (UTC)

Sort of Contract

Different

Job Standing

Full-time

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?

No

Supply Description

Job Description

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]  

{Qualifications}

• 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.

Extra Info

Location: Kent Ridge Campus
Group: College of Computing
Division: Division of Pc Science
Worker Referral Eligible: No
Job requisition ID: 22784

Necessities
Extra Info
The place to use

Web site

https://www.timeshighereducation.com/unijobs/itemizing/358495/senior-research-fel…

STATUS: EXPIRED