Research Fellow, School of Computing
3 weeks 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 DescriptionThe 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 Fellow
2 weeks 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
1 week 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
1 week 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
2 weeks 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
2 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
2 weeks 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...
-
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...
-
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 DescriptionWe are seeking a highly motivated and capable Research Fellow to join our team at the Department of Computer...
-
Research Fellow, School of Computing
2 weeks 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
2 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...
