home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #26 / NN_1992_26.iso / spool / sci / logic / 2022 < prev    next >
Encoding:
Internet Message Format  |  1992-11-12  |  2.9 KB
  1. Xref: sparky sci.logic:2022 comp.specification:528 comp.realtime:1330 comp.lang.prolog:2067
  2. Path: sparky!uunet!munnari.oz.au!bunyip.cc.uq.oz.au!uqcspe!cs.uq.oz.au!dowrie
  3. From: dowrie@cs.uq.oz.au (Susan Dowrie)
  4. Newsgroups: sci.logic,comp.specification,comp.realtime,comp.lang.prolog
  5. Subject: postdoc & hons positions - Generic Program Refinement Tool
  6. Summary: Res.Fellow & Sen.Res.Asst. sought at SVRC, Brisbane from Jan 1993
  7. Keywords: refinement, tools
  8. Message-ID: <11036@uqcspe.cs.uq.oz.au>
  9. Date: 13 Nov 92 04:32:47 GMT
  10. Sender: news@cs.uq.oz.au
  11. Reply-To: dowrie@cs.uq.oz.au
  12. Followup-To: sci.logic
  13. Lines: 63
  14.  
  15.  
  16. Research Fellow and Senior Research Assistant
  17.  
  18. A Generic Program Refinement Tool
  19.  
  20. Software Verification Research Centre
  21. Department of Computer Science
  22. The University of Queensland
  23.  
  24. The Software Verification Research Centre is a Special Research Centre
  25. of the Australian Research Council.  Its mission is to create improved
  26. methods and tools, of industrial significance, for developing verified
  27. software.
  28.  
  29. A new project to develop a generic program refinement tool
  30. will begin in 1993. Two positions (both for one year initially)
  31. are available commencing in January 1993 or as soon as possible
  32. thereafter.
  33.  
  34. This project aims to develop a generic tool for the interactive
  35. development of software, based on the refinement methodology
  36. of Morgan, Back and Morris. The task involves:
  37.   - extending existing approaches to support data refinement,
  38.   - building the user interface on top of a generic language-based
  39.     editor,
  40.   - establishing close coupling with a proof system to 
  41.     discharge obligations arising when applying refinement rules.
  42.  
  43. Research Fellow: applicants should have a PhD with a strong
  44. interest in formal methods of software development. Experience
  45. with the refinement calculus is highly desirable as is knowledge
  46. relevant to the design of software support tools.
  47.  
  48. Senior Research Assistant: applicants should have a good Honours
  49. degree in Computer Science or a cognate discipline such as discrete
  50. mathematics or logic together with a significant background in
  51. Computer Science. Familiarity with formal methods is highly desirable.
  52.  
  53. Salary ranges:
  54.     Research Fellow: AU$41,000 -- AU$48,688
  55.     Senior Research Assistant: AU$27,375 -- AU$34,034
  56.  
  57. For further information on either position, contact
  58.  
  59. Dr David Carrington (Ph: +61 7 365 3310 email: davec@cs.uq.oz.au)
  60. Dr Ian Hayes        (Ph: +61 7 365 2386 email: ianh@cs.uq.oz.au)
  61. Prof. Jim Welsh     (Ph: +61 7 365 2787 email: jim@cs.uq.oz.au)
  62.  
  63. Applications close Friday 4 December 1992. All applications should
  64. nominate three referees with their addresses, email addresses, fax
  65. and phone numbers. Applications should be addressed to:
  66.  
  67.     Professor Jim Welsh
  68.     Software Verification Research Centre
  69.     Department of Computer Science
  70.     The University of Queensland
  71.     St Lucia 4072
  72.     AUSTRALIA
  73.  
  74.     (Fax: +61 7 365 1533)
  75.  
  76. Equal opportunity in employment is University policy.
  77.  
  78.