Postdoc in proof theory - University of Birmingham, 2 years - deadline 30 April
Anupam das <[email protected]> Mon, 8 Apr 2024 15:41:23 +0000
| Newsgroups | gmane.science.mathematics.fom,gmane.science.mathematics.prooftheory,gmane.comp.science.types.announce,gmane.science.mathematics.categories |
|---|---|
| Message-ID | <CWXP265MB074331CF08624BD39FC9D9ECD9002@CWXP265MB0743.GBRP265.PROD.OUTLOOK.COM> |
--_000_CWXP265MB074331CF08624BD39FC9D9ECD9002CWXP265MB0743GBRP_ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 RGVhciBhbGwsDQoNCkkgaGF2ZSBhbiBvcGVuaW5nIGZvciBhIHBvc3Rkb2MgaW4gbXkgZ3JvdXAg YXQgdGhlIFVuaXZlcnNpdHkgb2YgQmlybWluZ2hhbToNCg0KaHR0cHM6Ly93d3cuam9icy5hYy51 ay9qb2IvREdXOTI1L3Jlc2VhcmNoLWZlbGxvdy1pbi1wcm9vZi10aGVvcnktaWkNCg0KVGhlIFVu aXZlcnNpdHkgb2YgQmlybWluZ2hhbSBoYXMgYSB3b3JsZCBsZWFkaW5nIGdyb3VwIGluIHRoZW9y ZXRpY2FsIGNvbXB1dGVyIHNjaWVuY2UsIGNvdmVyaW5nIHByb29mIHRoZW9yeSwgbWF0aGVtYXRp Y2FsIGZvdW5kYXRpb25zLCB0eXBlIHRoZW9yeSwgY2F0ZWdvcnkgdGhlb3J5IGFuZCBjb21wbGV4 aXR5IHRoZW9yeS4gVGhlIGdyb3VwIGhhcyBiZWVuIHN0ZWFkaWx5IGdyb3dpbmcgYW5kIG5vdyBp bmNsdWRlcyBvdmVyIDQwIG1lbWJlcnMgKGluY2x1ZGluZyBwZXJtYW5lbnRzLCBwb3N0ZG9jcywg cGhkIHN0dWRlbnRzKToNCg0KaHR0cHM6Ly93d3cuYmlybWluZ2hhbS5hYy51ay9yZXNlYXJjaC9h Y3Rpdml0eS9jb21wdXRlci1zY2llbmNlL3RoZW9yeS1vZi1jb21wdXRhdGlvbg0KDQpDYW5kaWRh dGVzIHNob3VsZCBoYXZlIGEgYmFja2dyb3VuZCByZWxhdGVkIHRvIHRoZSB0aGVtZXMgb2YgdGhl IGdyb3VwLiBFeHBlcnRpc2UgaW4gc29tZS9hbnkgb2YgdGhlIGZvbGxvd2luZyBhcmVhcyB3b3Vs ZCBiZSBwYXJ0aWN1bGFybHkgaGVscGZ1bDoNCg0KKiBQcm9vZiBUaGVvcnkNCiogVHlwZSBUaGVv cnkgYW5kIFByb29mIEFzc2lzdGFudHMgKGUuZy4gQ29xLCBBZ2RhLCBMZWFuKQ0KKiBNYXRoZW1h dGljYWwgTG9naWMNCiogQXV0b21hdGEgVGhlb3J5DQoNClBsZWFzZSBjb250YWN0IG1lIHBlcnNv bmFsbHkgZm9yIGFueSBpbmZvcm1hbCBlbnF1aXJpZXMgaWYgeW91IGFyZSBpbnRlcmVzdGVkIGlu IGFwcGx5aW5nIGF0IDxhLmRhc0BiaGFtLmFjLnVrPi4NCg0KVGhlIGRlYWRsaW5lIGZvciBhcHBs aWNhdGlvbnMgaXMgMzAgQXByaWzigIsuIEZ1cnRoZXIgaW5zdHJ1Y3Rpb25zIGFyZSBvbiB0aGUg YXBwbGljYXRpb24gcGFnZSBsaW5rZWQgYWJvdmUuDQoNCktpbmQgcmVnYXJkcywNCkFudXBhbQ0K --_000_CWXP265MB074331CF08624BD39FC9D9ECD9002CWXP265MB0743GBRP_ Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: base64 PGh0bWw+DQo8aGVhZD4NCjxtZXRhIGh0dHAtZXF1aXY9IkNvbnRlbnQtVHlwZSIgY29udGVudD0i dGV4dC9odG1sOyBjaGFyc2V0PXV0Zi04Ij4NCjwvaGVhZD4NCjxib2R5Pg0KPGRpdiBkaXI9ImF1 dG8iPkRlYXIgYWxsLDwvZGl2Pg0KPGRpdiBkaXI9ImF1dG8iPjxicj4NCjwvZGl2Pg0KPGRpdiBk aXI9ImF1dG8iPkkgaGF2ZSBhbiBvcGVuaW5nIGZvciBhIHBvc3Rkb2MgaW4gbXkgZ3JvdXAgYXQg dGhlIFVuaXZlcnNpdHkgb2YgQmlybWluZ2hhbTo8L2Rpdj4NCjxkaXYgZGlyPSJhdXRvIj48YnI+ DQo8L2Rpdj4NCjxkaXYgZGlyPSJhdXRvIj48YSByZWw9Im5vcmVmZXJyZXIgbm9vcGVuZXIiIGhy ZWY9Imh0dHBzOi8vd3d3LmpvYnMuYWMudWsvam9iL0RHVzkyNS9yZXNlYXJjaC1mZWxsb3ctaW4t cHJvb2YtdGhlb3J5LWlpIj5odHRwczovL3d3dy5qb2JzLmFjLnVrL2pvYi9ER1c5MjUvcmVzZWFy Y2gtZmVsbG93LWluLXByb29mLXRoZW9yeS1paTwvYT48YnI+DQo8L2Rpdj4NCjxkaXYgZGlyPSJh dXRvIj48YnI+DQo8L2Rpdj4NCjxkaXYgZGlyPSJhdXRvIj5UaGUgVW5pdmVyc2l0eSBvZiBCaXJt aW5naGFtIGhhcyBhIHdvcmxkIGxlYWRpbmcgZ3JvdXAgaW4gdGhlb3JldGljYWwgY29tcHV0ZXIg c2NpZW5jZSwgY292ZXJpbmcgcHJvb2YgdGhlb3J5LCBtYXRoZW1hdGljYWwgZm91bmRhdGlvbnMs IHR5cGUgdGhlb3J5LCBjYXRlZ29yeSB0aGVvcnkgYW5kIGNvbXBsZXhpdHkgdGhlb3J5LiBUaGUg Z3JvdXAgaGFzIGJlZW4gc3RlYWRpbHkgZ3Jvd2luZyBhbmQgbm93IGluY2x1ZGVzDQogb3ZlciA0 MCBtZW1iZXJzIChpbmNsdWRpbmcgcGVybWFuZW50cywgcG9zdGRvY3MsIHBoZCBzdHVkZW50cyk6 PC9kaXY+DQo8ZGl2IGRpcj0iYXV0byI+PGJyPg0KPC9kaXY+DQo8ZGl2IGRpcj0iYXV0byI+PGEg cmVsPSJub3JlZmVycmVyIG5vb3BlbmVyIiBocmVmPSJodHRwczovL3d3dy5iaXJtaW5naGFtLmFj LnVrL3Jlc2VhcmNoL2FjdGl2aXR5L2NvbXB1dGVyLXNjaWVuY2UvdGhlb3J5LW9mLWNvbXB1dGF0 aW9uIj5odHRwczovL3d3dy5iaXJtaW5naGFtLmFjLnVrL3Jlc2VhcmNoL2FjdGl2aXR5L2NvbXB1 dGVyLXNjaWVuY2UvdGhlb3J5LW9mLWNvbXB1dGF0aW9uPC9hPjxicj4NCjwvZGl2Pg0KPGRpdiBk aXI9ImF1dG8iPjxicj4NCjwvZGl2Pg0KPGRpdiBkaXI9ImF1dG8iPkNhbmRpZGF0ZXMgc2hvdWxk IGhhdmUgYSBiYWNrZ3JvdW5kIHJlbGF0ZWQgdG8gdGhlIHRoZW1lcyBvZiB0aGUgZ3JvdXAuIEV4 cGVydGlzZSBpbiBzb21lL2FueSBvZiB0aGUgZm9sbG93aW5nIGFyZWFzIHdvdWxkIGJlIHBhcnRp Y3VsYXJseSBoZWxwZnVsOjwvZGl2Pg0KPGRpdiBkaXI9ImF1dG8iPjxicj4NCjwvZGl2Pg0KPGRp diBkaXI9ImF1dG8iPiogUHJvb2YgVGhlb3J5PC9kaXY+DQo8ZGl2IGRpcj0iYXV0byI+KiBUeXBl IFRoZW9yeSBhbmQgUHJvb2YgQXNzaXN0YW50cyAoZS5nLiBDb3EsIEFnZGEsIExlYW4pPC9kaXY+ DQo8ZGl2IGRpcj0iYXV0byI+KiBNYXRoZW1hdGljYWwgTG9naWM8L2Rpdj4NCjxkaXYgZGlyPSJh dXRvIj4qIEF1dG9tYXRhIFRoZW9yeTwvZGl2Pg0KPGRpdiBkaXI9ImF1dG8iPjxicj4NCjwvZGl2 Pg0KPGRpdiBkaXI9ImF1dG8iPlBsZWFzZSBjb250YWN0IG1lIHBlcnNvbmFsbHkgZm9yIGFueSBp bmZvcm1hbCBlbnF1aXJpZXMgaWYgeW91IGFyZSBpbnRlcmVzdGVkIGluIGFwcGx5aW5nIGF0ICZs dDthLmRhc0BiaGFtLmFjLnVrJmd0Oy48L2Rpdj4NCjxkaXYgZGlyPSJhdXRvIj48YnI+DQo8L2Rp dj4NCjxkaXYgZGlyPSJhdXRvIj5UaGUgZGVhZGxpbmUgZm9yIGFwcGxpY2F0aW9ucyBpcyA8Yj4z MCBBcHJpbDwvYj7igIsuIEZ1cnRoZXIgaW5zdHJ1Y3Rpb25zIGFyZSBvbiB0aGUgYXBwbGljYXRp b24gcGFnZSBsaW5rZWQgYWJvdmUuPC9kaXY+DQo8ZGl2IGRpcj0iYXV0byI+PGJyPg0KPC9kaXY+ DQo8ZGl2IGRpcj0iYXV0byI+S2luZCByZWdhcmRzLDxicj4NCkFudXBhbTwvZGl2Pg0KPC9ib2R5 Pg0KPC9odG1sPg0K --_000_CWXP265MB074331CF08624BD39FC9D9ECD9002CWXP265MB0743GBRP_--