<div dir="ltr"><div>[Apologies for multiple postings] </div><div><br></div>Dear Colleagues,<div>we have multiple Research Fellow positions at the School of Computing, the Australian National University; see below for details. Please feel free to forward this to those interested. </div><div><br></div><div>Regards, -Alwen</div><div><br></div><div><br></div><div>Research Fellow (multiple positions)</div><div>School of Computing, the Australian National University. <br><br>Salary package: Level B, A$99,809 – A$113,165 per annum plus 17% superannuation<br><br>Term: Fixed Term (2-3 years)]<br><br>Postdoctoral Research Position<br>- opportunity to build own research agenda<br>- embedded in diverse team<br>- several positions available, depending on the knowledge and interest of the applicant<br><br>The Research Fellow will develop foundations and tools for specifying and verifying software, with a particular emphasis on applications in the areas of concurrency, programming languages, and security.  Foundations should be based on sound mathematical frameworks, e.g., process algebra or operational semantics. Tool support can range from frameworks within interactive proof assistants via the use of off-the-shelf model checkers to code generation. The Postdoctoral Fellow should apply the developed theory to real-world case studies, such as compiler verification, or the analysis of protocols in terms of  correctness or security. The successful candidate is encouraged to develop new and innovative research directions in their specified scientific impact domain, including relevant collaborations.<br><br>Please see  <br><br><a href="https://urldefense.com/v3/__http://jobs.anu.edu.au/cw/en/job/543320__;!!IBzWLUs!C78-cJCfuAHBT7cgSPssdQqYd4kof0WD-alWLiVndOSl-52lMK_2kOjAVdjNtmxfmaX7Nm4gpILq-g$">jobs.anu.edu.au/cw/en/job/543320</a><br><br>for more details. <br><br>Review of your application is guaranteed if your application is received by *31 January 2022.* The search will continue until the positions are filled, or until *30 June 2022*, whichever comes first. <br></div><div><br></div><div><br></div></div>