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

Alwen Tiu alwen.tiu at gmail.com
Sun Jan 16 19:18:28 EST 2022

[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%

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


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>

More information about the Types-announce mailing list