[TYPES/announce] Multiple Research Fellow positions at the Australian National University

[Alwen Tiu]

[Apologies for multiple postings]

Dear Colleagues,
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.

Regards, -Alwen


Research Fellow (multiple positions)
School of Computing, the Australian National University.

Salary package: Level B, A$99,809 – A$113,165 per annum plus 17%
superannuation

Term: Fixed Term (2-3 years)]

Postdoctoral Research Position
- opportunity to build own research agenda
- embedded in diverse team
- several positions available, depending on the knowledge and interest of
the applicant

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.

Please see

jobs.anu.edu.au/cw/en/job/543320

for more details.

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220117/48917dab/attachment.htm>