Skip to main content

This job has expired

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

Employer
NANYANG TECHNOLOGICAL UNIVERSITY
Location
Singapore
Closing date
4 Sep 2020

Job Details

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.

Company

Young and research-intensive, Nanyang Technological University, Singapore (NTU Singapore) is placed 11th globally, and 1st among the world's top young universities for six consecutive years (QS university rankings). It is also ranked No.2 among the world's elite young universities (aged 50 and under) that have excelled in producing high-quality research (Nature Index Young Universities).


We invite you to be part of this world-class university through the prestigious Lee Kuan Yew Postdocotoral Fellowship programme. 

About Lee Kuan Yew Postdoctoral Fellowship (LKY PDF)

The prestigious Lee Kuan Yew Postdoctoral Fellowship (LKY PDF) was established in 1991 under the Lee Kuan Yew Endowment Fund. The Fellowship supports and promotes young and outstanding researchers to realise their full potential in the areas of Engineering, Science, Humanities, and Medicine.

The Fellowship will be awarded concurrently with the candidate's appointment as a research staff in NTU.

Please click here for the detailed list of research areas available in the respective Colleges/Schools/Research Centres.

Eligibility: 

• Excellent academic records and research potential.
• Recent PhD graduates, or with at most 1 postdoctoral training from a reputable university. 

Terms and Conditions: 
• The Fellowship will be tenable for a period of 3 years.  
• In addition to an attractive remuneration, the successful candidate will be awarded a research grant of S$180,000 for research consumables and research related expenditure. 

Application Procedure:

Please click here for more information.

We regret to inform that only shortlisted candidates will be notified. 

Application Closing Date: 28 February 2020

Company info
Telephone
+(65)67911744
Location
50 NANYANG AVENUE
SINGAPORE
639 798
SG

Get job alerts

Create a job alert and receive personalised job recommendations straight to your inbox.

Create alert