<div dir="ltr"><p>Two PhD scholarships are available at The Australian National University, for the following areas:<br></p><p></p><p>Verification of Non-blocking Concurrent Algorithms (see the <a href="https://urldefense.com/v3/__https://www.findaphd.com/phds/project/verification-of-non-blocking-concurrent-algorithms/?p167206__;!!IBzWLUs!TrLtdQHuz7PWFhR9x12uSqeJXUlOXkKuc5WliFpSYmYsFlf0iBPGXqlXO-Wdwj17sd7h72kAFU6Kej_1BmXqnnaUSECWlLwhBw$" rel="nofollow" target="_blank">full project details</a>)</p><p>and</p><p>Verification of Safety-Critical Systems using Rely/Guarantee (see the <a href="https://urldefense.com/v3/__https://www.findaphd.com/phds/project/verification-of-safety-critical-systems-using-rely-guarantee/?p167583__;!!IBzWLUs!TrLtdQHuz7PWFhR9x12uSqeJXUlOXkKuc5WliFpSYmYsFlf0iBPGXqlXO-Wdwj17sd7h72kAFU6Kej_1BmXqnnaUSEBFeznijA$" rel="nofollow" target="_blank">full project details</a>).</p><p></p><p></p><p>Both topics are quite flexible and interested applicants are welcome to discuss their own project ideas in similar areas. </p><p></p><p>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.</p><p></p><p>Contact Dr. Nisansala Yatapanage (<a href="mailto:nisansala.yatapanage@anu.edu.au" target="_blank">nisansala.yatapanage@anu.edu.au</a>) 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.</p></div>