Job Description

The National University of Singapore invites applications for the position of Research Fellow in the Department of Computer Science, School of Computing (SoC). SoC is strongly committed to research excellence in all its dimensions: Searching for fundamental results and insights, developing novel computational solutions to a wide range of applications, building large-scale experimental systems and improving the well-being of society. We seek to play an active role both internationally and locally in the core and emerging areas of Computer Science and Information Systems

The Research Fellow will be responsible for developing new techniques for AI privacy or trustworthy-related tasks. This includes:

• Conduct research on the theory, methods and applications of artificial intelligence and security techniques to analyze privacy policies and runtime behaviors in web applications.
• Conduct research on security or trustworthiness-related tasks for web applications, including the use of formal reasoning and verification techniques to improve reliability and compliance.
• Develop methods that integrate large language models with symbolic reasoning or formal techniques to support privacy-related analysis and trustworthy decision-making.
• Write high-quality research papers based on research results.

To address the above tasks, the research may require the integration of machine learning, automated reasoning, and formal techniques for analyzing and improving the trustworthiness of intelligent systems.

   1.  Privacy Policy Compliance Analysis

        Develop methods to analyze whether the runtime behaviors of web applications are consistent with privacy policies, with support from formal reasoning, theorem proving, and trustworthy AI techniques.

   2.  Data Processing Principles Compliance

        Investigate techniques for evaluating whether web applications adhere to data processing principles, including rigorous analysis, automated reasoning, and methods for identifying potential inconsistencies or violations.

   3.  Compliance-Oriented Development Assistance System

        Develop intelligent methods and tools that combine large language models with formal techniques to assist in the analysis, generation, and checking of privacy-related requirements and compliance-relevant behaviors.

Job Requirements

• PhD degree in Computer Science, Mathematics, or other related areas.
• Strong knowledge and demonstrated ability in at least two of the following areas: formal methods, security, machine learning, or trustworthy AI.
• Familiarity with formal techniques such as theorem proving, program analysis, constraint solving, or formal verification.
• Familiarity with large language models and their applications to reasoning, compliance analysis, or trustworthy decision-making.
• A strong research track record as evidenced by publications in leading journals or conferences.
• Excellent communication and writing skills.
• Ability to conduct independent research as well as collaborative research within a team.
• Self-Motivated and takes initiative.

More Information

Location: Kent Ridge Campus

Organization: School of Computing

Department : Department of Computer Science

Employee Referral Eligible: No

Job requisition ID : 32538