<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">

</head>

<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">

I have a funded PhD studentship available (at LFCS, Uni of Edinburgh) to anyone with a good proposal related to PL/FM. In particular I'm hoping to work with someone on my Quickstrom project (a property-based testing tool based on Linear Temporal Logic). More

 details here: <a href="https://urldefense.com/v3/__http://liamoc.net/work_with_me.html__;!!IBzWLUs!E1GQLOUROiFFzfiEBQnyUc1LXXM3FOcciQEF-XBgbUlkuMCUbJEP7wj4i6zx2lw4zj80ZyzMJt-7VA$" class="">http://liamoc.net/work_with_me.html</a><br class="">

<br class="">

Please contact me if interested, or forward this message to anyone who might be.<br class="">

With best wishes,<br class="">

Liam The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. Is e buidheann carthannais a th’ ann an Oilthigh Dhùn Èideann, clàraichte an Alba, àireamh clàraidh SC005336.

</body>

</html>