[Job-offers-cs] Lecturer / Senior Lecturer in Theoretical Computer Science / Logic / Formal Methods

[Pekka Orponen]

-------- Forwarded Message --------

Subject: 	[DMANET] Lecturer / Senior Lecturer in Theoretical Computer 
Science / Logic / Formal Methods
Date: 	Fri, 16 Sep 2022 00:52:42 +1000
From: 	Serge Gaspers <serge.gaspers at unsw.edu.au>
To: 	dmanet at zpr.uni-koeln.de



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: 
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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://list.aalto.fi/pipermail/job-offers-cs/attachments/20221002/6ef1ab8d/attachment-0001.htm