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:
https://external-careers.jobs.unsw.edu.au/cw/en/job/510701/lecturer-senior-lecturer-in-computer-science-formal-methods-and-logic
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):
https://jobs.acm.org/link.cfm?c=IltWXv3OGzTY
Future Fellowships (5-15 years post-PhD, adjusted for interruptions):
https://jobs.acm.org/link.cfm?c=YFXgpcAveibs
with a (soft) deadline of 30th September 2022.
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* 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.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
