Research Fellow, School of Computing
1 week ago
Interested applicants are invited to apply directly at the NUS Career Portal
Your application will be processed only if you apply via NUS Career Portal
We regret that only shortlisted candidates will be notified.
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 in developing novel computational solutions to a wide range of applications, building largescale experimental systems, developing theories and policies for effective management of information systems in organizations, 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 working closely with the Principal Investigator on one or more research projects related to formal verification and program. In particular, the research fellow is going to investigate the design of novel verification methodologies that combine automated and interactive proofs for security protocols.
Only shortlisted applicants will be notified.
Qualifications
• A PhD degree in Computer Science or related field
• Strong background in formal methods
• Familiarity with interactive theorem proving in Lean, Coq, Isabelle/HOL or Agda
• Good understanding of security protocols
• An established record of publications at top-tier conferences in formal methods or security (at least two)
• Strong systems development skills
Security
Information Systems
Lean
Computer Science
Formal Verification
Methodologies
Publications
Agda
Coq
Research
-
Research Associate, Computer Science
2 weeks ago
Singapore School of Computing Full time**Posting Start Date**:23/04/2025 **Qualifications** - PhD degree in a relevant area for research fellow and research associate position - Bachelors or Masters degree in a relevant area for research assistant position - Experience in research **More Information** Location: Kent Ridge Campus Organization: School of Computing Department : Department of...
-
Research Fellow
7 days ago
Singapore School of Computing Full time**Posting Start Date**:03/02/2025 By scaling up data, compute and model size, large language models (LLMs) have gained an impressive and ever growing array of capabilities. The next phase of development will be dominated by the use of LLMs in real world scenarios, and improving LLM reliability will be a crucial and exciting component of this next phase. A...
-
Research Fellow, School of Computing
5 days ago
Singapore NATIONAL UNIVERSITY OF SINGAPORE Full timeInterested applicants are invited to apply directly at the NUS Career Portal Your application will be processed only if you apply via NUS Career Portal We regret that only shortlisted candidates will be notified. Job Description The National University of Singapore invites applications for the position of Research Fellow in the Department of Computer...
-
Research Fellow, School of Computing
4 weeks ago
Singapore NATIONAL UNIVERSITY OF SINGAPORE Full timeRoles & ResponsibilitiesInterested applicants are invited to apply directly at the NUS Career PortalYour application will be processed only if you apply via NUS Career PortalWe regret that only shortlisted candidates will be notified.Job DescriptionThe National University of Singapore invites applications for the position of Research Fellow in the Department...
-
Research Fellow, School of Computing
5 days ago
Singapore NATIONAL UNIVERSITY OF SINGAPORE Full timeInterested applicants are invited to apply directly at the NUS Career Portal Your application will be processed only if you apply via NUS Career Portal We regret that only shortlisted candidates will be notified.Job Description The National University of Singapore invites applications for the position of Research Fellow in the Department of Computer...
-
Research Fellow, School of Computing
3 weeks ago
Singapore NATIONAL UNIVERSITY OF SINGAPORE Full timeRoles & ResponsibilitiesInterested applicants are invited to apply directly at the NUS Career PortalYour application will be processed only if you apply via NUS Career PortalWe regret that only shortlisted candidates will be notified.Job DescriptionThe National University of Singapore invites applications for the position of Research Fellow in the Department...
-
Research Fellow, School of Computing
1 week ago
Singapore NATIONAL UNIVERSITY OF SINGAPORE Full timeRoles & Responsibilities Interested applicants are invited to apply directly at the NUS Career Portal Your application will be processed only if you apply via NUS Career Portal We regret that only shortlisted candidates will be notified. Job Description The National University of Singapore invites applications for the position of Research Fellow in...
-
Research Fellow, School of Computing
1 week ago
Singapore NATIONAL UNIVERSITY OF SINGAPORE Full timeRoles & ResponsibilitiesInterested applicants are invited to apply directly at the NUS Career PortalYour application will be processed only if you apply via NUS Career PortalWe regret that only shortlisted candidates will be notified.Job DescriptionThe National University of Singapore invites applications for the position of Research Fellow in the Department...
-
Research Fellow
2 weeks ago
Singapore School of Computing Full time**Posting Start Date**:21/04/2025 We pursue research and develop disruptive technology in satellite network, wireless systems, sensing, and AI. We build working systems, engage with industry (e.g., Microsoft, Google Research, and Amazon), publish top-tier scientific papers, and release software for the research community. Individuals in our group publish in...
-
Singapore School of Computing Full time**Posting Start Date**:03/03/2025 - Act as the primary liaison in the preparation and submission of project proposals, agreements, budget plans and reports. - Administer research project accounts and reconcile accounts statements. - Monitor the research project funds utilization and provide periodic updates. - Coordinate with grantors, track the receipt of...
