[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Two PhD scholarships are available at The Australian National University,
for the following areas:
Verification of Non-blocking Concurrent Algorithms (see the full project
details
<https://urldefense.com/v3/__https://www.findaphd.com/phds/project/verification-of-non-blocking-concurrent-algorithms/?p167206__;!!IBzWLUs!TrLtdQHuz7PWFhR9x12uSqeJXUlOXkKuc5WliFpSYmYsFlf0iBPGXqlXO-Wdwj17sd7h72kAFU6Kej_1BmXqnnaUSECWlLwhBw$
>
)
and
Verification of Safety-Critical Systems using Rely/Guarantee (see the full
project details
<https://urldefense.com/v3/__https://www.findaphd.com/phds/project/verification-of-safety-critical-systems-using-rely-guarantee/?p167583__;!!IBzWLUs!TrLtdQHuz7PWFhR9x12uSqeJXUlOXkKuc5WliFpSYmYsFlf0iBPGXqlXO-Wdwj17sd7h72kAFU6Kej_1BmXqnnaUSEBFeznijA$
>
).
Both topics are quite flexible and interested applicants are welcome to
discuss their own project ideas in similar areas.
Suitable applicants should have a background in Computer Science, Software
Engineering, Mathematics or similar fields. Familiarity with formal
methods, logic, verification, model checking, program reasoning, etc. is a
benefit but is not essential.
Contact Dr. Nisansala Yatapanage ([email protected]) to apply
or for informal enquiries. Applications will be accepted until the
positions are filled, but applicants are encouraged to apply as soon as
possible.
