UNSW   Faculty of Engineering PRINT VERSION SITE MAP  
cse | School of Computer Science and Engineering (CRICOS Provider No. 00098G)
    #About CSE     #Undergraduate Study     #Postgraduate Study     #Timetables & Courses     #Research & Publications     #People & Work Units     #Help & Resources     #News & Events     #High School Portal

News & Events

Research Assistant - Formal Verification Tools
May 21, 2008
[Main news page]




Applicants should have at least an honours degree in computer science and excellent systems development skills.  Required skills are UNIX, C, functional programming (Haskell) and experience with windowing toolkits, knowledge of OHS responsibilities and commitment to attending relevant OHS training. Experience with tools applying logic in computer science, knowledge of probability theory and a high degree of mathematical aptitude are highly desirable.

Full details of the position and how to apply, can be found at the UNSW Human Resource site via the link below.

 

Applications close : 06 June 2008


Links

Top Of Page

 ###
Site maintained by webmistress@cse.unsw.edu.au
Please read the UNSW Copyright & Disclaimer Statement