Computer Systems Researcher
7 days ago
We are seeking a highly skilled researcher to contribute to the advancement of formal verification and program research. As a Research Fellow, you will be working closely with the Principal Investigator on one or more research projects related to security protocols.
The ideal candidate should have a strong background in formal methods, familiarity with interactive theorem proving in Lean, Coq, Isabelle/HOL, or Agda, good understanding of security protocols, and an established record of publications at top-tier conferences in formal methods or security.
A PhD degree in Computer Science or a related field is required. Additionally, candidates should possess strong systems development skills.
This is an excellent opportunity for a researcher to gain experience in developing novel verification methodologies that combine automated and interactive proofs for security protocols.
You will be responsible for investigating design concepts, implementing theories, and improving the well-being of society through effective management of information systems.
Key Responsibilities:- Investigate and develop novel verification methodologies
- Implement theories and improve information systems
- Contribute to research projects related to security protocols
What We Offer
We offer a dynamic and supportive work environment that fosters innovation and collaboration. Our team is committed to excellence in research, and we are looking for someone who shares this vision.
-
Researcher for Computing Systems
1 week ago
Singapore FOURTH PARADIGM SOUTHEAST ASIA PTE. LTD. Full time**Job Title** Researcher **Working Location** Singapore **Responsibilities** - Conducting research work and literature review on state-of-the-art computing systems related technologies, such as heterogeneous computing, distributed computing, databases, and so on. - Publishing research findings in top-tier conferences and journals **Requirements**: -...
-
Research Fellow
2 weeks ago
Singapore Nanyang Technological University Full timeKey Responsibilities: - Developing a methodology that can protect embedded systems consisting of heterogeneous computing elements including FPGA-SoC and microcontrollers against security attacks - Undertake original research and has opportunities to collaborate with industry and top researchers around the world Job Requirements: - Possess a PhD in...
-
Research Associate
7 days ago
Singapore Nanyang Technological University Full timeKey Responsibilities: - To independently undertake research in machine learning.- To produce research reports and/or publications as required by the funding body or for dissemination to the wider academic community.- To provide guidance and support to any students associated with the project.- To attend, contribute, and where necessary lead relevant...
-
Research Fellow
6 days ago
Singapore Nanyang Technological University Full timeKey Responsibilities: - Develop a lightweight visual deep learning system for autonomous vehicles to estimate road user intention - Undertake original research and has opportunities to collaborate with industry and top researchers around the world Job Requirements: - Possess a PhD degree in Computer Engineering, Computer Science, Control Science and...
-
Research Associate, Computer Science
1 week ago
Singapore NATIONAL UNIVERSITY OF SINGAPORE Full time $80,000 - $120,000 per yearInterested 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, Research...
-
Research Assistant, 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, Research...
-
Research Scientist
2 days ago
Singapore Nanyang Technological University Singapore Full timeResearch Scientist (Electrical Engineering / Information System / Computer Science / Computer Engineering)Join to apply for the Research Scientist (Electrical Engineering / Information System / Computer Science / Computer Engineering)role at Nanyang Technological University Singapore . Overview The Alibaba-NTU Global e-Sustainability CorpLab (ANGEL) is a...
-
Research Associate
7 days ago
Singapore Nanyang Technological University Full timeThe Research Associate's scope of work will include developing a lightweight visual deep learning system for road user trajectory prediction. The research associate is expected to undertake original research and has opportunities to collaborate with industry and top researchers around the world. Key Responsibilities: - Evaluate state-of-the-art algorithms...
-
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 Associate
2 weeks ago
Singapore Nanyang Technological University Full timeThe School of Chemistry, Chemical Engineering and Biotechnology (CCEB) is looking for a highly qualified and motivated Research Associate to take on a significant role in developing research direction at the cross-roads of healthcare and artificial intelligence, under the SERI-NTU ADVANCED OCULAR ENGINEERING (STANCE) Program. Key Responsibilities: - Develop...
