home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #23 / NN_1992_23.iso / spool / sci / logic / 1681 < prev    next >
Encoding:
Internet Message Format  |  1992-10-16  |  4.9 KB
  1. Xref: sparky sci.logic:1681 comp.specification:457 comp.realtime:1161 comp.lang.prolog:1853
  2. Path: sparky!uunet!cs.utexas.edu!sun-barr!ames!haven.umd.edu!darwin.sura.net!sgiblab!munnari.oz.au!bunyip.cc.uq.oz.au!uqcspe!cs.uq.oz.au!sue
  3. From: sue@cs.uq.oz.au (Sue Harris)
  4. Newsgroups: sci.logic,comp.specification,comp.realtime,comp.lang.prolog
  5. Subject: Postdoctoral & Honours level positions avaiable in Brisbane.
  6. Summary: 3xRes.Fellow/Sen.Res.Fellow & 2xSen.Res.Asst. positions at SVRC, Brisba
  7. Keywords: Verification, methods, tools
  8. Message-ID: <10565@uqcspe.cs.uq.oz.au>
  9. Date: 8 Oct 92 06:22:30 GMT
  10. Sender: news@cs.uq.oz.au
  11. Reply-To: sue@cs.uq.oz.au
  12. Followup-To: sci.logic
  13. Lines: 80
  14.  
  15.  
  16. Integrated Software Development Methodology - Five positions -
  17.  
  18. Software Verification Research Centre, Department of Computer Science
  19. (SVRC)
  20.  
  21. The Software Verification Research Centre is a Special Research Centre
  22. of the Australian Research Council.  Its mission is to create improved
  23. methods and tools, of industrial significance, for developing verified
  24. software.  Five positions are available in a project which will formulate
  25. a new methodology (ISDM) for developing verified software, based on the
  26. integration of successful aspects of current methodologies including VDM,
  27. Z and object-orientation, together with appropriate tools support.
  28.  
  29. Research Fellow/Senior Research Fellow - ISDM methods research.
  30. The appointee will take a leading role in a team consisting of two
  31. full-time positions with contributions from other SVRC staff and projects.  
  32. This team is to develop improved methods for ISDM.  The appointee will 
  33. coordinate this work with concurrent work on ISDM foundations and tools.
  34. A strong background in logic and discrete mathematics and/or formal methods
  35. for software development is essential.  Prior experience of software
  36. verification is highly desirable.  Applicants should be able to demonstrate
  37. initiative and responsibility in working towards team objectives.  The
  38. position is for up to three years in the first instance, subject beyond
  39. the end of 1993 to continuation of the SVRC's Special Research Centre funding.
  40.  
  41. Research Fellow/Senior Research Fellow - ISDM tools research.
  42. The appointee will take a leading role in a team consisting of two
  43. full-time positions, with contributions from other SVRC staff and projects.
  44. This team is to investigate the design and prototyping of tools support
  45. for ISDM, exploiting as appropriate existing SVRC tools development 
  46. capabilities, which include both generic structure editors and extended
  47. logic programming languages.  
  48. The appointee will coordinate this work with concurrent
  49. work on ISDM foundations and methods.
  50. A strong background in relevant aspects of
  51. software engineering is essential.  Some familiarity with formal methods
  52. and software verification is highly desirable.  
  53. Applicants should be able to demonstrate
  54. initiative and responsibility in working towards team objectives.  The
  55. position is for up to three years in the first instance, subject beyond
  56. the end of 1993 to continuation of the SVRC's Special Research Centre funding.
  57.  
  58. Research Fellow/Senior Research Fellow - ISDM foundations.
  59. This position is to investigate logical and mathematical aspects of the
  60. proposed ISDM, in collaboration with concurrent work on methods and tools.
  61. A strong background in logic, discrete mathematics and formal methods for
  62. software development is needed for this position.  Applicants should enjoy 
  63. working in a team.
  64.  
  65. Senior Research Assistant - two positions.
  66. Applicants should have a good Honours degree in Computer Science, or in
  67. a cognate discipline such as discrete mathematics or logic together with
  68. significant background in Computer Science.  One position is to assist
  69. investigation of formal methods for software development, and applicants
  70. for this position should preferably have experience of formal methods.
  71. The other position is to assist research on tools support for the 
  72. proposed ISDM, and applicants for this position should be experienced 
  73. in both procedural and logic programming, and should have some knowledge 
  74. of the role of formal methods in software development.  
  75. Applicants for both positions should enjoy teamwork.
  76.  
  77. -----------------------------------------------------------------------
  78.  
  79. Salary ranges: Senior Research Fellow AU$50,225 - AU$57,913; Research Fellow 
  80. AU$41,000 - AU$48,688; Senior Research Assistant AU$27,375 - AU$34,034.
  81. Superannuation  available subject to medical examination.  Relocation
  82. assistance available.
  83.  
  84. For further information on any of these positions, contact The Director,
  85. Prof John Staples, Ph +61  7  365 2048, Fax +61  7  365 1533, email
  86. staples@cs.uq.oz.au  Applications should be addressed to The Director,
  87. Software Verification Research Centre, Department of Computer Science,
  88. The University of Queensland, Qld. 4072, Australia, or emailed to the
  89. SVRC Administrator, dowrie@cs.uq.oz.au
  90.  
  91. All applications should nominate three referees with their addresses
  92. and email addresses, fax and telephone numbers.  Applications close
  93. Monday 2 November 1992.
  94.  
  95.