Academic Researcher

7 days ago

Singapore beBeeFormalVerification Full time

Job Opportunity

We are seeking a highly skilled Research Fellow to join our team and 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. Strong systems development skills are also essential.

About the Position

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. The Research Fellow will be responsible for investigating design concepts, implementing theories, and improving the well-being of society through effective management of information systems.

Requirements

  • A PhD degree in Computer Science or a 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
  • Strong systems development skills

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.

  • Academic Research Specialist

    1 week ago

    Singapore beBeeResearch Full time $80,000 - $120,000

    Establishing a Career as an Academic Researcher">A career in academic research is both challenging and rewarding. It involves combining various skills, including teaching, research, and service responsibilities.The core duties of an academic researcher include conducting original research, publishing findings in peer-reviewed journals, and engaging in...

  • Academic Researcher Position

    2 weeks ago

    Singapore beBeeInternationalLaw Full time

    Research Fellow Position The Centre for International Law at the National University of Singapore invites applications for Research Fellow positions. We are seeking highly qualified individuals with a doctoral degree in international law to conduct cutting-edge research and participate in workshops, conferences, and academic programs. Key...

  • Senior Academic Researcher

    6 days ago

    Singapore beBeeResearch Full time $90,000 - $120,000

    International Research Opportunities in Computer Science and EngineeringThe Visiting Professor position at a leading institution presents an exceptional opportunity for academics to engage in impactful interdisciplinary research.Key Responsibilities:Contribute to teaching and research activities in the school of computer science and engineering.Collaborate...

  • Academic Research Editor

    2 weeks ago

    Singapore beBeeResearchEditor Full time $40,000 - $60,000

    We are seeking a detail-oriented and organized individual to support the publication process for academic research journals.Key ResponsibilitiesSupport the editorial process for academic research journals in a specific field of expertiseOrganize peer review for submitted manuscripts and coordinate editorial decisionsHandle communication between parties...

  • Academic Research Editor

    1 week ago

    Singapore beBeeResearchEditor Full time

    We are seeking a detail-oriented and organized individual to support the publication process for academic research journals. Key Responsibilities Support the editorial process for academic research journals in a specific field of expertise Organize peer review for submitted manuscripts and coordinate editorial decisions Handle communication between...

  • Academic Research Coordinator

    1 week ago

    Singapore beBeeResearch Full time $4,000 - $6,000

    We are seeking a detail-oriented and organized professional to support the publication process for academic research journals.Key ResponsibilitiesSupport the editorial process for academic research journals in a specific field of expertise.Organize peer review for submitted manuscripts and coordinate editorial decisions.Handle communication between parties...

  • Academic Research Editor

    1 day ago

    Singapore beBeeResearchEditor Full time

    We are seeking a detail-oriented and organized individual to support the publication process for academic research journals. Key Responsibilities Support the editorial process for academic research journals in a specific field of expertise Organize peer review for submitted manuscripts and coordinate editorial decisions Handle communication between...

  • Senior Academic Researcher

    2 weeks ago

    Singapore beBeeResearch Full time $120,000 - $170,000

    Faculty Position in Photonics and NanophotonicsWe seek a distinguished academic to establish a world-class research program in photonics, nanophotonics, or related areas.The ideal candidate will be a future leader who can foster interaction between physicists, materials scientists, and engineers at NTU through ambitious research programs, and contribute to...

  • Academic Research Translator

    2 weeks ago

    Singapore beBeeTranslator Full time $40,000 - $80,000

    As a Translator, you will combine your language skills and subject-area expertise to help researchers around the globe publish cutting-edge research in prestigious journals.Job Description:We are looking for translators to work on academic manuscripts written in various languages. To qualify, you must have technical expertise in your field. Experience...

  • Academic Researcher

    2 weeks ago

    Singapore beBeeResearch Full time $113,000 - $121,000

    Job DescriptionWe are seeking a highly skilled Postdoctoral Fellow to join our research team. The successful candidate will contribute to the development of data assets, data sharing systems and protocols, statistical analysis plans, and prepare applications for data access and ethical approvals.The Postdoctoral Fellow will conduct research on risk of...