Logic List Mailing Archive

CfA: two PhD scholarships at Australian National: Verification of Safety-Critical Systems using Rely/Guarantee / Verification of Non-blocking Concurrent Algorithms, deadline: till the positions are filled

Dear all,

I have two PhD scholarships available at The Australian National
University, for the following areas:

Verification of Non-blocking Concurrent Algorithms (see the full project
details
<https://www.findaphd.com/phds/project/verification-of-non-blocking-concurrent-algorithms/?p167206>
)

and

Verification of Safety-Critical Systems using Rely/Guarantee (see the full
project details
<https://www.findaphd.com/phds/project/verification-of-safety-critical-systems-using-rely-guarantee/?p167583>
).

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 me (nisansala.yatapanage@anu.edu.au) 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.

Cheers,
Nisansala
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php