From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id A16117F75D for ; Fri, 31 Jan 2014 11:57:36 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of alexander.heussner@uni-bamberg.de) identity=pra; client-ip=141.13.241.107; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alexander.heussner@uni-bamberg.de"; x-sender="alexander.heussner@uni-bamberg.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of alexander.heussner@uni-bamberg.de) identity=mailfrom; client-ip=141.13.241.107; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alexander.heussner@uni-bamberg.de"; x-sender="alexander.heussner@uni-bamberg.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mailex.uni-bamberg.de) identity=helo; client-ip=141.13.241.107; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="alexander.heussner@uni-bamberg.de"; x-sender="postmaster@mailex.uni-bamberg.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AuMBAJmA61KNDfFrnGdsb2JhbABZg0RXvlEOAQEBAQEICwkJFCiECFsTiAkJnECwNxeNBYEbEQGDBg9mgRQEkD+BMoRQiCyPDIFwOQ X-IPAS-Result: AuMBAJmA61KNDfFrnGdsb2JhbABZg0RXvlEOAQEBAQEICwkJFCiECFsTiAkJnECwNxeNBYEbEQGDBg9mgRQEkD+BMoRQiCyPDIFwOQ X-IronPort-AV: E=Sophos;i="4.95,757,1384297200"; d="p7s'?scan'208";a="56263152" Received: from exhub01.uni-bamberg.de (HELO mailex.uni-bamberg.de) ([141.13.241.107]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-SHA; 31 Jan 2014 11:57:36 +0100 Received: from alexbox-monitor.staff.swt.wiai.uni-bamberg.de (141.13.106.48) by mailex.uni-bamberg.de (141.13.241.112) with Microsoft SMTP Server (TLS) id 14.3.169.1; Fri, 31 Jan 2014 11:57:34 +0100 From: =?iso-8859-1?Q?Alexander_Heu=DFner?= Content-Type: multipart/signed; boundary="Apple-Mail=_EBA73717-C258-4CC5-A1B0-95A817AC3376"; protocol="application/pkcs7-signature"; micalg=sha1 Date: Fri, 31 Jan 2014 11:57:40 +0100 To: OCaml Mailing List Message-ID: <736EDE44-1FA4-4CE5-96FB-F7E56162A72F@uni-bamberg.de> MIME-Version: 1.0 (Mac OS X Mail 6.6 \(1510\)) X-Mailer: Apple Mail (2.1510) X-Originating-IP: [141.13.106.48] Subject: [Caml-list] PhD Position: Modelling and Verification of Asynchronous, Concurrent Systems --Apple-Mail=_EBA73717-C258-4CC5-A1B0-95A817AC3376 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=windows-1252 PhD Position: Modelling and Verification of Asynchronous, Concurrent Systems The Software Technologies Research Group at the University of Bamberg, loca= ted in a world-heritage city in Northern Bavaria in Germany, conducts resea= rch in the foundations and practice of software specification, verification= and analysis. The group currently has one full-time PhD position available= in the context of a new research project that will develop novel formalism= s and techniques for modelling and verifying asynchronous, concurrent syste= ms. About the project Frameworks and APIs supporting the development of concurrent software, wher= e parallel tasks communicate either via shared variables or message passing= , are becoming increasingly important. As the interdependencies of such ta= sks are unmanageable by hand, there is a strong demand for techniques that = can assure the software's correctness. This project will propose, implement= and evaluate new verification techniques and algorithms based on model che= cking; first steps in this direction are already taken by ongoing extension= s to the OCaml-based McScM framework (https://altarica.labri.fr/forge/proje= cts/mcscm/), which have been applied successfully for verifying web service= s and other communicating systems. Thus, besides a strong focus on research= , the advertised position is also tied to the implementation and maintenanc= e of verification tools and frameworks, and the conduct of case studies.=20 Your background and experience A strong background in the foundations of Computer Science is required, suc= h as evidenced by an upper class Masters degree in Computer Science or a cl= osely related disipline. A good knowledge of and practical experience with= modern programming languages (e.g., OCaml, C++/C# or Java) is also require= d. The ideal candidate will have some background in formal methods, theore= tical computer science (e.g., automata theory and graph transformation syst= ems), as well as knowledge of concurrent and asynchronous programming langu= ages and APIs (e.g., Grand Central Dispatch, node.js, OpenMP, Erlang).=20=20 Applicants are expected to be fluent in spoken and written English =96 some= knowledge of German is desirable =96 and to support the group's teaching i= n software engineering and programming languages (up to 5 hours per semeste= r week). Further information and how to apply If you wish to apply, please send your informative CV including copies of t= ranscripts and awarded degrees plus a cover letter outlining your backgroun= d and research interests to info@swt-bamberg.de.=20 You can address any questions to Dr. Alexander Heu=DFner by using the same = email address, and find out additional information about Bamberg's Software= Technologies Research Group on its website located at http://www.uni-bambe= rg.de/en/swt/. --Apple-Mail=_EBA73717-C258-4CC5-A1B0-95A817AC3376 Content-Disposition: attachment; filename="smime.p7s" Content-Type: application/pkcs7-signature; name="smime.p7s" Content-Transfer-Encoding: base64 MIAGCSqGSIb3DQEHAqCAMIACAQExCzAJBgUrDgMCGgUAMIAGCSqGSIb3DQEH AQAAoIIO3jCCBCEwggMJoAMCAQICAgDHMA0GCSqGSIb3DQEBBQUAMHExCzAJ BgNVBAYTAkRFMRwwGgYDVQQKExNEZXV0c2NoZSBUZWxla29tIEFHMR8wHQYD VQQLExZULVRlbGVTZWMgVHJ1c3QgQ2VudGVyMSMwIQYDVQQDExpEZXV0c2No ZSBUZWxla29tIFJvb3QgQ0EgMjAeFw0wNjEyMTkxMDI5MDBaFw0xOTA2MzAy MzU5MDBaMFoxCzAJBgNVBAYTAkRFMRMwEQYDVQQKEwpERk4tVmVyZWluMRAw DgYDVQQLEwdERk4tUEtJMSQwIgYDVQQDExtERk4tVmVyZWluIFBDQSBHbG9i YWwgLSBHMDEwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQDpm8Nn hfkNrvWNVMOWUDU9YuluTO2U1wBblSJ01CDrNI/W7MAxBAuZgeKmFNJSoCgj hIt0iQReW+DieMF4yxbLKDU5ey2QRdDtoAB6fL9KDhsAw4bpXCsxEXsM84Ik Q4wcOItqaACa7txPeKvSxhObdq3u3ibo7wGvdA/BCaL2a869080UME/15eOk yGKbghoDJzANAmVgTe3RCSMqljVYJ9N2xnG2kB3E7f81hn1vM7PbD8URwoqD oZRdQWvY0hD1TP3KUazZve+Sg7va64sWVlZDz+HVEz2mHycwzUlU28kTNJpx dcVs6qcLmPkhnSevPqM5OUhqjK3JmfvDEvK9AgMBAAGjgdkwgdYwcAYDVR0f BGkwZzBloGOgYYZfaHR0cDovL3BraS50ZWxlc2VjLmRlL2NnaS1iaW4vc2Vy dmljZS9hZl9Eb3dubG9hZEFSTC5jcmw/LWNybF9mb3JtYXQ9WF81MDkmLWlz c3Vlcj1EVF9ST09UX0NBXzIwHQYDVR0OBBYEFEm3xs/oPR9/6kR7Eyn38Qpw Pt5kMB8GA1UdIwQYMBaAFDHDeRu69VPXF+CJei0XbAqzK50zMA4GA1UdDwEB /wQEAwIBBjASBgNVHRMBAf8ECDAGAQH/AgECMA0GCSqGSIb3DQEBBQUAA4IB AQA74Vp3wEgX3KkY7IGvWonwvSiSpspZGBJw7Cjy565/lizn8l0ZMfYTK3S9 vYCyufdnyTmieTvhERHua3iRM347XyYndVNljjNj7s9zw7CSI0khUHUjoR8Y 4pSFPT8z6XcgjaK95qGFKUD2P3MyWA0Ja6bahWzAP7uNZmRWJE6uDT8yNQFb 6YyC2XJZT7GGhfF0hVblw/hc843uR7NTBXDn5U2KaYMo4RMJhp5eyOpYHgwf +aTUWgRo/Sg+iwK2WLX2oSw3VwBnqyNojWOl75lrXP1LVvarQIc01BGSbOyH xQoLBzNytG8MHVQs2FHHzL8w00Ny8TK/jM5JY6gA9/IcMIIFKTCCBBGgAwIB AgIECihcNjANBgkqhkiG9w0BAQUFADBaMQswCQYDVQQGEwJERTETMBEGA1UE ChMKREZOLVZlcmVpbjEQMA4GA1UECxMHREZOLVBLSTEkMCIGA1UEAxMbREZO LVZlcmVpbiBQQ0EgR2xvYmFsIC0gRzAxMB4XDTA3MDMyNzA5MDY0OFoXDTE5 MDMyNjAwMDAwMFowgZkxCzAJBgNVBAYTAkRFMSwwKgYDVQQKEyNPdHRvLUZy aWVkcmljaC1Vbml2ZXJzaXRhZXQgQmFtYmVyZzEWMBQGA1UECxMNUmVjaGVu emVudHJ1bTEdMBsGA1UEAxMUVW5pIEJhbWJlcmcgQ0EgLSBHMDIxJTAjBgkq hkiG9w0BCQEWFnBraUB1cnoudW5pLWJhbWJlcmcuZGUwggEiMA0GCSqGSIb3 DQEBAQUAA4IBDwAwggEKAoIBAQCvxmE2/QMzwoeQbCmVSkdCiTkyUg4Yv4SV 7Hj9RRm8eP62AlemJbgUI+xhr7guwV/yWQEHrqNDDOThDuNXxzkJy1Sa1/xZ rtNqz7sExrJTN5xzRjDcPQOJwqcJ6oK79oh4oMtdVs+e1RvvrefwB3v0AWjJ MiznOJ3CkjOAFjPXcJrga17cPuQpdLBQYcGtqXN0NoZ2muBzSbfb5LE+JUtt V9LRxVd6cfolePxSy9r1ZdUtHNOlslwLRwJNL2VUPlQTImzQXNbpegSOr+j1 laeKTn7oxyQstHo+oqRu2ucS8j5aMo+evwPGaVgJw7DwOp4deIaG/I4krl1I 7pWAKhDLAgMBAAGjggG1MIIBsTAPBgNVHRMBAf8EBTADAQH/MAsGA1UdDwQE AwIBBjAdBgNVHQ4EFgQULcyYHklbHtduYQcmrVNlZ5hDruUwHwYDVR0jBBgw FoAUSbfGz+g9H3/qRHsTKffxCnA+3mQwIQYDVR0RBBowGIEWcGtpQHVyei51 bmktYmFtYmVyZy5kZTCBiAYDVR0fBIGAMH4wPaA7oDmGN2h0dHA6Ly9jZHAx LnBjYS5kZm4uZGUvZ2xvYmFsLXJvb3QtY2EvcHViL2NybC9jYWNybC5jcmww PaA7oDmGN2h0dHA6Ly9jZHAyLnBjYS5kZm4uZGUvZ2xvYmFsLXJvb3QtY2Ev cHViL2NybC9jYWNybC5jcmwwgaIGCCsGAQUFBwEBBIGVMIGSMEcGCCsGAQUF BzAChjtodHRwOi8vY2RwMS5wY2EuZGZuLmRlL2dsb2JhbC1yb290LWNhL3B1 Yi9jYWNlcnQvY2FjZXJ0LmNydDBHBggrBgEFBQcwAoY7aHR0cDovL2NkcDIu cGNhLmRmbi5kZS9nbG9iYWwtcm9vdC1jYS9wdWIvY2FjZXJ0L2NhY2VydC5j cnQwDQYJKoZIhvcNAQEFBQADggEBAEk7RXrb3UOWUCRl+bUuL1JuHUSeFl24 9pxW4OYxHvzz2FzkksnabR2B+qlz/QG2NflKxOjsyZBgkAOWcmpc2bVke5yJ ERTFX1yr/yVLhMGsaMJCrLMRZzhxzsFwMfUB97dpn4/CHJGMYOVcnV6rFz6F 5DDmuh1D9NS/7utd9z7boAxEstRUHIefc1v91JZPLBJEASS6XOaIiFZ6Oznn xmOmC0VqBcZpcLmGLMl/1nsC7esG9rFPOSzRHv3C0qUGygfdMSOWmtMa52Mk Lfp4JYOr/kbXGc+7o1GehAKVoNi8iSlwvakpm97T7dfta7MEDzxzjDjKpHJq wLl94dwWTrcwggWIMIIEcKADAgECAgcWtBf6ezP2MA0GCSqGSIb3DQEBBQUA MIGZMQswCQYDVQQGEwJERTEsMCoGA1UEChMjT3R0by1GcmllZHJpY2gtVW5p dmVyc2l0YWV0IEJhbWJlcmcxFjAUBgNVBAsTDVJlY2hlbnplbnRydW0xHTAb BgNVBAMTFFVuaSBCYW1iZXJnIENBIC0gRzAyMSUwIwYJKoZIhvcNAQkBFhZw a2lAdXJ6LnVuaS1iYW1iZXJnLmRlMB4XDTEzMTEyNjEyNTYxMFoXDTE2MTEy NTEyNTYxMFowWDELMAkGA1UEBhMCREUxLDAqBgNVBAoTI090dG8tRnJpZWRy aWNoLVVuaXZlcnNpdGFldCBCYW1iZXJnMRswGQYDVQQDExJBbGV4YW5kZXIg SEVVU1NORVIwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAwggEKAoIBAQCiXBXU UEIlWk3MYLJOyjuq7Be14VvVwNzNbb/m9pkmPxqx7u8IWzzg32W+KHZlvg90 bAuXw+Olylj87BjljGuciiOfuN7NT2hznnygscQ0x5YGmQhhbx8tdsniz1t1 tXOqYz/Z/YUUtLshVsufIOcj1r+e0zu0SPd78Qvc0iXfSynNtFLZ1AkotGTd 6pFI59ZQyIoS5ulDRl1MVuA+E9G7vRYi6evCR3aKbJgU6H4LTXyIQl2G4RJu 3G4tECbHDEX+hDcgESlNPkuFfYpLOFSt6AqcjG+OrZAMtQQsb1n8tSjOYdxB x5cq/e3XFkUDkKEHfefFX+HBfDFs7C71feTlAgMBAAGjggITMIICDzAvBgNV HSAEKDAmMBEGDysGAQQBga0hgiwBAQQDADARBg8rBgEEAYGtIYIsAgEEAwAw CQYDVR0TBAIwADALBgNVHQ8EBAMCBeAwHQYDVR0lBBYwFAYIKwYBBQUHAwIG CCsGAQUFBwMEMB0GA1UdDgQWBBTOoK7RNTYfeaZQRepgz6knxz7QQDAfBgNV HSMEGDAWgBQtzJgeSVse125hByatU2VnmEOu5TAsBgNVHREEJTAjgSFhbGV4 YW5kZXIuaGV1c3NuZXJAdW5pLWJhbWJlcmcuZGUwgY0GA1UdHwSBhTCBgjA/ oD2gO4Y5aHR0cDovL2NkcDEucGNhLmRmbi5kZS91bmktYmFtYmVyZy1jYS9w dWIvY3JsL2dfY2FjcmwuY3JsMD+gPaA7hjlodHRwOi8vY2RwMi5wY2EuZGZu LmRlL3VuaS1iYW1iZXJnLWNhL3B1Yi9jcmwvZ19jYWNybC5jcmwwgaYGCCsG AQUFBwEBBIGZMIGWMEkGCCsGAQUFBzAChj1odHRwOi8vY2RwMS5wY2EuZGZu LmRlL3VuaS1iYW1iZXJnLWNhL3B1Yi9jYWNlcnQvZ19jYWNlcnQuY3J0MEkG CCsGAQUFBzAChj1odHRwOi8vY2RwMi5wY2EuZGZuLmRlL3VuaS1iYW1iZXJn LWNhL3B1Yi9jYWNlcnQvZ19jYWNlcnQuY3J0MA0GCSqGSIb3DQEBBQUAA4IB AQBbc1LfApQyuoo9RuEEQ3xHnSHW/FZ7T/Bgu75qtMH5fu70PgVK0O68bq8n hWv6l3M4C0vACl8I41oZ7tJ6tlI02os01KYzyFY58gvHbvykAv1E8sGJ54mK RWHu8ghTTSIdt/p/mRgSoHz6QICgoHUbtJKgC/bVWTaoBq19DFEamyghfOtm hLYArYho6bNmNAEaiRtlhWzdhT0uOXS8H6ZIm7QN9//lALXZAfxpUUNe+o0+ UYQ3eSdMp95P8fSSw0kcgtzJKHodpmANtbtlsqw1koQ+Oy/vf+Z1ENuB3rkh D3tH8VE5iWnZz2RICLA1E1sj96Aue87UalUGIRLv3EHfMYIDojCCA54CAQEw gaUwgZkxCzAJBgNVBAYTAkRFMSwwKgYDVQQKEyNPdHRvLUZyaWVkcmljaC1V bml2ZXJzaXRhZXQgQmFtYmVyZzEWMBQGA1UECxMNUmVjaGVuemVudHJ1bTEd MBsGA1UEAxMUVW5pIEJhbWJlcmcgQ0EgLSBHMDIxJTAjBgkqhkiG9w0BCQEW FnBraUB1cnoudW5pLWJhbWJlcmcuZGUCBxa0F/p7M/YwCQYFKw4DAhoFAKCC AdEwGAYJKoZIhvcNAQkDMQsGCSqGSIb3DQEHATAcBgkqhkiG9w0BCQUxDxcN MTQwMTMxMTA1NzQxWjAjBgkqhkiG9w0BCQQxFgQUYB4Uaybqew2VvONEpwwl rtbOaZkwgbYGCSsGAQQBgjcQBDGBqDCBpTCBmTELMAkGA1UEBhMCREUxLDAq BgNVBAoTI090dG8tRnJpZWRyaWNoLVVuaXZlcnNpdGFldCBCYW1iZXJnMRYw FAYDVQQLEw1SZWNoZW56ZW50cnVtMR0wGwYDVQQDExRVbmkgQmFtYmVyZyBD QSAtIEcwMjElMCMGCSqGSIb3DQEJARYWcGtpQHVyei51bmktYmFtYmVyZy5k ZQIHFrQX+nsz9jCBuAYLKoZIhvcNAQkQAgsxgaiggaUwgZkxCzAJBgNVBAYT AkRFMSwwKgYDVQQKEyNPdHRvLUZyaWVkcmljaC1Vbml2ZXJzaXRhZXQgQmFt YmVyZzEWMBQGA1UECxMNUmVjaGVuemVudHJ1bTEdMBsGA1UEAxMUVW5pIEJh bWJlcmcgQ0EgLSBHMDIxJTAjBgkqhkiG9w0BCQEWFnBraUB1cnoudW5pLWJh bWJlcmcuZGUCBxa0F/p7M/YwDQYJKoZIhvcNAQEBBQAEggEAGrBt6pBgMgSv UesA2PLx1/uYmyuAxC1UozMcaml63CqZFyzpHijTQXsuPB5uFsgnNVp8Kyiw la1b3Hlx/Ob+w2UVEFOn3glUaJgsbLoP+k9/Y17y9tOlArMWUeDbsVIQfN3P /7kVIoXstD3iC2xflUbaqnrITCxAamVS/bnHm5sSTfM/7venAhOkv5CMmFDD 4zc/5Oj1lJWKTNSLjSzU8KssHQKW7S6tqGhrmzUln2r76OxnQy37U+1dyuF1 f/Sv8U61H8v5j5J1Rng1mcFAhd1O0uFogvP9aU+9r6zwoJqvuDWtnMXSS00Z QNrNOk1bd96ql/Upu42Fg1SapR3FHwAAAAAAAA== --Apple-Mail=_EBA73717-C258-4CC5-A1B0-95A817AC3376--