🚀 go-pugleaf

The Computing Methods Unit - Lecturer B - Software Eng and formal methods.

School of Computing Sciences and Key Centre for Computing Sciences - UTS.


The Computing Methods Unit in the School of Computing Sciences at UTS 
has a vacancy for a tenurable lecturer (level B) in formal methods of 
software engineering.

Applicants must have postgraduate qualifications in software 
engineering. A PhD and/or publications and substantial experience
with modern software development, OO design and programming 
sufficient to maintain an active research program in one or more of 
these areas is essential. Knowledge of formal methods and discrete 
mathematics is highly desirable, as is programming experience with 
Eiffel or Miranda. 

Applicants will ideally have experience in teaching large classes  
(200 students) and in organising tutorials and tutors. Good English
communication skills are essential as is a knowledge of EEO principles.

The Computing Methods Unit is one of four units within the School.  
It currently comprises 9 full time members of staff together with 
visiting scholars, tutors, research assistants and postgraduate 
students. Teaching and research interests include the more formal 
aspects of Computer Science including discrete mathematics, formal 
approaches to  software engineering, object oriented design and 
programming, functional and logic programming, language design and 
semantics, theory of computer science, mathematical modelling, 
computer graphics, neural networks and genetic programming, cognitive 
models of programming, and case based reasoning and planning. An 
excellent modern work environment includes a network of SPARCstations
and Macintoshes.

For enquiries please contact A/Prof Jenny Edwards (02) 330 1844,
jenny@socs.uts.edu.au .

Applications including a full cv and the name, addresses, fax, 
telephone numbers and email of at least three referees should be 
emailed to the above or posted to:

Recruitment,  
University of Technology, Sydney,
PO Box 123, 
Broadway, NSW 2007 

no later than Friday 25 November.

--
Posted by:

Dr Tom Osborn,  " Chop wood, Carry water. "
School of Computing Sciences,  
University of Technology, Sydney,  
PO Box 123 Broadway 2007,  AUSTRALIA.