NANYANG TECHNOLOGICAL UNIVERSITY

Research Associate, Computer Science/Software Engineering/Engineering/Mathematics

Location
Singapore
Posted
23 Jun 2020
End of advertisement period
23 Jul 2020
Ref
R00001363
Contract Type
Permanent
Hours
Full Time

NTU Main Campus, Singapore

School of Computer Science and Engineering invites applications for the position of Research Associate.

Key Responsibilities:

  • Conduct research on system development and formal verification
  • Conduct research on actor model, temporal logic and model logic

Job Requirements:

  • Possess Master’s degree in computer science, software engineering, engineering, mathematics, or related discipline
  • Expertise in system development, Rust and formal verification
  • Research experience in actor model, temporal logic, model logic, and related areas
  • Excellent communication and writing skills
  • Able to conduct research and write report independently and within teams

We regret that only shortlisted candidates will be notified.

Hiring Institution: NTU

Similar jobs

Similar jobs