Thursday, September 15, 2022

[DMANET] Lecturer / Senior Lecturer in Theoretical Computer Science / Logic / Formal Methods

The School of Computer Science and Engineering at the University of New
South Wales (UNSW Sydney, Australia) is seeking outstanding candidates
for a (Senior) Lecturer position in Theoretical Computer Science, Logic,
or Formal Methods. This is a full-time, tenure-track, research &
teaching position (40% teaching, and slightly less for new staff and
early-career academics).

The application deadline is Wednesday 12th October 2022, 11:50 pm
(Sydney time; which is a few hours ahead of most of the world).
Apply here:

In addition, the school is seeking outstanding early-career and
mid-career candidates with a solid research track record in Computer
Science to apply for the Australian Research Council (ARC) Discovery
Early Career Research Awards (DECRA) and the ARC Future Fellowships.

DECRAs (0-5 years post-PhD, adjusted for interruptions):
Future Fellowships (5-15 years post-PhD, adjusted for interruptions):
with a (soft) deadline of 30th September 2022.

* Contributions to be spread via DMANET are submitted to
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.