NANYANG TECHNOLOGICAL UNIVERSITY

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

Location
Singapore
Posted
06 Jun 2020
End of advertisement period
04 Sep 2020
Ref
R00002015
Contract Type
Permanent
Hours
Full Time

NTU Main Campus, Singapore

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

Key Responsibilities: 

  • Develop a formally verified, secure, industrial-grade RISC processor
  • Integrate the processor with a formally verified microkernel

Job Requirements: 

  • PhD in Computer Science, Software Engineering, Computer Engineering, Mathematics or related discipline with the topics of formal verification of safety-critical systems
  • Proficiency with at least one theorem provers (Isabelle, Coq, Agda, F*, PVS, or Lean)
  • Familiarity with computer architecture especially RISC or MIPS microarchitecture
  • Experience with at least one functional programming languages (SML, OCaml, Haskell, F#, Rust, Scala)
  • Experience with at least one hardware description languages (VHDL, Verilog, SystemVerilog, Hardcaml, Clash, Lava, Chisel or Bluespec)
  • Excellent written and communication skills
  • Ability to conduct research and write reports both independently and collaboratively

We regret that only shortlisted candidates will be notified.

Similar jobs

Similar jobs