[Agda] PhD and postdoc position in China/UK

[Thomas ANBERREE]

SGVsbG8sDQoNClRoZSBVbml2ZXJzaXR5IG9mIE5vdHRpbmdoYW0gb2ZmZXJzIGludGVyLWNhbXB1
cyCjqENoaW5hL1VLo6kgZnVuZGVkIFBoRCBwb3NpdGlvbnMgaW4gZnVuY3Rpb25hbCBwcm9ncmFt
bWluZyBhbmQgdHlwZSB0aGVvcnkgYW5kIHdlIGFyZSBhbHNvIHNlZWtpbmcgTWFyaWUgQ3VyaWUg
ZmVsbG93cyBpbiB0aGUgc2FtZSBhcmVhLg0KDQpGb3IgZGV0YWlscyBzZWU6IGh0dHA6Ly93d3cu
Y3Mubm90dC5hYy51ay9+dGZhLyBvciBrZWVwIHJlYWRpbmcuDQoNCg0KDQotLSAtLSAtLSAtLSAt
LSAtLSAtLSAtLSAtLSAtLSAtLSAtLSAtLQ0KSW50ZXItQ2FtcHVzIFBoRCBzdHVkaWVzIGluIENo
aW5hL1UuSy4NCi0tIC0tIC0tIC0tIC0tIC0tIC0tIC0tIC0tIC0tIC0tIC0tIC0tDQoNCiAgIFRo
ZSBEaXZpc2lvbiBvZiBDb21wdXRlciBTY2llbmNlIGF0IHRoZSBVbml2ZXJzaXR5IG9mIE5vdHRp
bmdoYW0gTmluZ2JvIENoaW5hIGhhcyBzZXZlcmFsIG9wZW5pbmdzIGZvciBQaEQgc3R1ZGllcy4g
VGhlIFBoRCBzY2hvbGFyc2hpcHMgYXJlIGZ1bmRlZCAoc29tZSBmdWxseSBmdW5kZWQgYW5kIHNv
bWUgcGFydGlhbGx5IGZ1bmRlZCkgYnkgdGhlIFVuaXZlcnNpdHkgb2YgTm90dGluZ2hhbSBmb3Ig
YSBwZXJpb2Qgb2YgdGhyZWUgeWVhcnMuIFN0dWRlbnRzIGFyZSBleHBlY3RlZCB0byBzcGVuZCBv
bmUgeWVhciBpbiBDaGluYSwgb25lIHllYXIgaW4gdGhlIFVLIGFuZCB0aGUgZmluYWwgeWVhciBp
biBDaGluYSwgdW5kZXIgdGhlIHN1cGVydmlzaW9uIG9mIHR3byBjby1zdXBlcnZpc29ycywgb25l
IG9uIGVhY2ggQ2FtcHVzLiBUaGUgZXhwZWN0ZWQgc3RhcnRpbmcgZGF0ZSBpcyBPY3RvYmVyIDIw
MTAuIA0KV2UgYXJlIHNlZWtpbmcgdG8gcmVjcnVpdCBjYW5kaWRhdGVzIHRvIHdvcmsgd2l0aCB1
cyBhdCB0aGUgRnVuY3Rpb25hbCBQcm9ncmFtbWluZyBMYWJvcmF0b3J5LCBvbiBhIHN1YmplY3Qg
aW4gcmVsYXRpb24gdG8gYSBuZXcgcHJvamVjdDoNCiANCkltcGxlbWVudGF0aW9uIG9mIGEgZGVw
ZW5kZW50bHktdHlwZWQgcHJvZ3JhbW1pbmcgbGFuZ3VhZ2UgdXNpbmcgYSB2ZXJpZmllZCBjb3Jl
LWxhbmd1YWdlLg0KDQpUaGUgc3VwZXJ2aXNvcnMgd2lsbCBiZTogRHIgVGhvbWFzIEFuYmVycmVl
IGluIENoaW5hLCBEciBUaG9yc3RlbiBBbHRlbmtpcmNoIGluIE5vdHRpbmdoYW0uDQoNCkFwcGxp
Y2FudHMgc2hvdWxkIGhhdmUgYSBkZWdyZWUgaW4gQ29tcHV0ZXIgU2NpZW5jZSBvciBhIHJlbGF0
ZWQgZGlzY2lwbGluZSBhbmQgYSBzdHJvbmcgYmFja2dyb3VuZCBpbiBmdW5jdGlvbmFsIHByb2dy
YW1taW5nIGFuZCBmb3VuZGF0aW9ucyBvZiBtYXRoZW1hdGljcy4gUHJldmlvdXMgaW50ZXJlc3Qg
aW4gZGVwZW5kZW50IHR5cGUgdGhlb3J5IGlzIGRlc2lyYWJsZS4gRXhjZWxsZW50IGNvbW11bmlj
YXRpb24gc2tpbGxzIGFuZCBFbmdsaXNoIGFyZSByZXF1aXJlZC4gSW50ZXJlc3RlZCBjYW5kaWRh
dGVzIHNob3VsZCBtYWtlIGluaXRpYWwgaW5xdWlyaWVzIGJ5IGVtYWlsIHRvIFRob21hcy5BbmJl
cnJlZUBub3R0aW5naGFtLmVkdS5jbiBhbmQgaW5jbHVkZSBhIENWLiANCg0KLS0gLS0gLS0gLS0g
LS0gLS0gLS0gLS0gDQpNYXJpZSBDdXJpZSBGZWxsb3dzaGlwcw0KLS0gLS0gLS0gLS0gLS0gLS0g
LS0gLS0NCg0KICBUaGUgZGVwYXJ0bWVudCBvZiBDb21wdXRlciBTY2llbmNlIGF0IHRoZSBVbml2
ZXJzaXR5IG9mIE5vdHRpbmdoYW0gTmluZ2JvIENoaW5hIChVTk5DKSBpcyBrZWVuIHRvIGhvc3Qg
TWFyaWUgQ3VyaWUgRmVsbG93cyAuIENhbmRpZGF0ZXMgbXVzdCBoYXZlIGEgUGhEIGFuZCBwcmVm
ZXJhYmx5IGEgZmV3IHllYXJzIG9mIFBvc3QtRG9jdG9yYWwgZXhwZXJpZW5jZSBpbiB0aGUgYXJl
YSBvZiBGdW5jdGlvbmFsIFByb2dyYW1taW5nIGFuZCBEZXBlbmRlbnQgVHlwZXMgVGhlb3J5IG9y
IG90aGVyIGhpZ2hseSByZWxhdGVkIGFyZWEuIElkZWFsbHksIGNhbmRpZGF0ZXMgd2lsbCBiZSBj
aXRpemVucyBvZiBhIGNvbnRpbmVudGFsIEV1cm9wZSBjb3VudHJ5IChpLmUuIGEgbm9uLUJyaXRp
c2ggRXVyb3BlYW4gY2l0aXplbiksIGFsdGhvdWdoIEJyaXRpc2ggY2l0aXplbnMgbWF5IGJlIGNv
bnNpZGVyZWQuIFdlIGFyZSBwYXJ0aWN1bGFybHkgc2Vla2luZyBjYW5kaWRhdGVzIHRvIHdvcmsg
b24gYSBuZXcgcHJvamVjdCwNCg0KSW1wbGVtZW50YXRpb24gb2YgYSBkZXBlbmRlbnRseS10eXBl
ZCBwcm9ncmFtbWluZyBsYW5ndWFnZSBiYXNlZCBvbiBhIHZlcmlmaWVkIGNvcmUgbGFuZ3VhZ2Uu
DQoNClRoZSBmZWxsb3cgd2lsbCBiZSBhIG1lbWJlciBvZiBvdXIgRnVuY3Rpb25hbCBQcm9ncmFt
bWluZyBMYWJvcmF0b3J5IGFuZCB3aWxsIHdvcmsgdW5kZXIgdGhlIHN1cGVydmlzaW9uIG9mIERy
IFRob21hcyBBbmJlcnJlZSBpbiBDaGluYSwgRHIgVGhvcnN0ZW4gQWx0ZW5raXJjaCBpbiBOb3R0
aW5naGFtLiBJbiB0aGUgZmlyc3QgaW5zdGFuY2UgaW50ZXJlc3RlZCBjYW5kaWRhdGVzIHNob3Vs
ZCBkaXJlY3QgaW5mb3JtYWwgZW5xdWlyaWVzIHRvIFRob21hcy5BbmJlcnJlZUBub3R0aW5naGFt
LmVkdS5jbiBhcyBzb29uIGFzIHBvc3NpYmxlIGluIG9yZGVyIHRvIHB1dCBmb3J3YXJkIGEgTWFy
aWUgQ3VyaWUgRmVsbG93c2hpcCBhcHBsaWNhdGlvbi4gVGhlIFVuaXZlcnNpdHkgb2YgTm90dGlu
Z2hhbSBoYXMgYW4gZXhjZWxsZW50IHRyYWNrIHJlY29yZCB3aXRoIGEgaGlnaCByYXRlIG9mIHN1
Y2Nlc3NmdWwgYXBwbGljYXRpb25zIGFuZCBwcm92aWRlcyBzdHJvbmcgc3VwcG9ydCBpbiB0aGUg
YXBwbGljYXRpb24gcHJvY2Vzcy4gVGhlIGNsb3NpbmcgZGVhZGxpbmUgZm9yIGFwcGxpY2F0aW9u
cyBpcyAzMHRoIEp1bmUsIGFuZCBub3RpZmljYXRpb25zIHdpbGwgYmUgbWFkZSBhcm91bmQgdGhl
IGVuZCBvZiBOb3ZlbWJlci4gVGhlIGFwcG9pbnRtZW50IHdpbGwgYmUgZXhwZWN0ZWQgdG8gYmVn
aW4gYXJvdW5kIEphbnVhcnkgMjAxMS4gVU5OQyBjYW4gb2ZmZXIgbWFueSBvZiB0aGUgc3VwcG9y
dCBmYWNpbGl0aWVzIHdoaWNoIGFyZSBvbiBvZmZlciBhdCB0aGUgVW5pdmVyc2l0eSBvZiBOb3R0
aW5naGFtIGluIHRoZSBVbml0ZWQgS2luZ2RvbS4gVGhpcyBpcyBhbiBpZGVhbCBvcHBvcnR1bml0
eSBmb3IgdGhlIGNhbmRpZGF0ZSB0byBzcGVuZCAxMiB0byAyNCBtb250aHMgbGl2aW5nIGFuZCB3
b3JraW5nIGluIENoaW5hLCBiZWZvcmUgcmV0dXJuaW5nIHRvIHRoZWlyIGhvbWUgVW5pdmVyc2l0
eS4NCg0KDQoNClRob21hcyBBbmJlcnJlZQ0KRGl2aXNpb24gb2YgQ29tcHV0ZXIgU2NpZW5jZQ0K
T2ZmaWNlIEFCMzI0DQpVbml2ZXJzaXR5IG9mIE5vdHRpbmdoYW0gTmluZ2JvIGluIENoaW5hDQox
OTkgVGFpa2FuZyBFYXN0IFJvYWQNClVuaXZlcnNpdHkgUGFyaw0KTmluZ2JvIDMxNTEwMA0KQ2hp
bmENClRlbC4gKzg2ICgwKTU3NCA4ODE4IDAyMTcNCkZheC4gKzg2ICgwKTU3NCA4ODE4IDAxMjUN
Cg0K08qx4KO6MzE1MTAwDQq12Na3o7rE/rKoytC4373M1LDH+Mypv7W2q8K3MTk5usUNCg0KDQoN
CioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq
KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq
KioqKioqKioqKioqKioNClRoaXMgZW1haWwgaGFzIGJlZW4gc2Nhbm5lZCBieSB0aGUgQWx0bWFu
IEVtYWlsIFNlY3VyaXR5IFN5c3RlbS4NCkZvciBtb3JlIGluZm9ybWF0aW9uIHBsZWFzZSB2aXNp
dCB3d3cuYWx0bWFuLmNvLnVrL2VtYWlsc3lzdGVtcw0KDQoqKioqKioqKioqKioqKioqKioqKioq
KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq
KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqDQo=