Subject: Animation and exchanges in the Petri Nets community
List archive
- From: Narges Khakpour <address@concealed>
- Subject: [PN-world] Postdoc position in Program Analysis and Security Verification
- Date: Mon, 18 Nov 2024 10:55:45 +0000
- Accept-language: en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=newcastle.ac.uk; dmarc=pass action=none header.from=newcastle.ac.uk; dkim=pass header.d=newcastle.ac.uk; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=3X6Fk05hPv/HNPKTnwM1Dy8S+1ZquLTNscbheJuj1lQ=; b=aQ4M6rXQ6UNNDYzWmv+HX2b3Cin60hKftl08ufFP55F1wdN8V6I1c4tuUA4sNB6jZZ9WXCIflAcSg/mXJHQuND3xsuzf0SY+sGzDnIkYXC1kL/vRhUjb10pN4D6WM4VwZnbL2QrjMTi6R0uTL61ncU+cS6ZVZWWExlKoGnqwIuD+dvgnHmy5XRD/EG0WycbmAbcvKdFRrjD1ntAeDy4NJLRW2OKakHrCi6WFqTeqk5ohcV5bj2EBd+KdLEcLweY1s4/FITTGzoGfglY3XhXdxbBLFlMuowO61wDMt1j8Hfqu83EIU9KEzla4qcFsyFg/iSwpwuJsNLkZQlhuHOmmlg==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=gydoGwCyoAOX7pIKyvvp0Kl8PC5I37L39AOSch8yUVtIN7/EsaMjCidIokIi90H5RzfzKYRnLcQq4YvY8ydDU5BvNfYd8FAhdMqVL10uP4SWvOmAfHcv6HxU5RBXE8nF1zYRYIyKLQg5wI4QW7F7Uv6hTLpU1CH8DV+FxRM02EvXD0Vxfw7Kt2DgSnqIQY9tZylQ1Xe6D2GEc3BZEC6Jxedd2fWaSz+C8+ZXETtZcRgQrskq82ftLEGfnzQ8v748PCL0NYqTvEfQIofgvOSfgbm3vm1vf1m027m2Wze5ZjLRzYyY53m15iDRhhOqv6emXtT2jtxVDfUXfW6j6lHuaQ==
- Authentication-results: spool.mail.gandi.net; dkim=pass header.d=newcastle.ac.uk header.s=selector2 header.b=rqhKDFUD; arc=pass ("microsoft.com:s=arcselector10001:i=1"); dmarc=pass (policy=quarantine) header.from=newcastle.ac.uk; spf=pass (spool.mail.gandi.net: domain of address@concealed designates 2a01:111:f403:261b::70d as permitted sender) address@concealed
We have an open postdoc position in program analysis and formal verification at Newcastle University, UK. The role involves designing and developing formal theories and their supporting tools for security verification of software programs.
Applicants should have a PhD awarded or nearing completion in an area related to program analysis, security, formal methods, or software engineering.
The position is available on a full-time basis for a period of 24 months from start date. To submit your application, please follow this link or contact Narges Khakpour at address@concealed
Applicants should have a PhD awarded or nearing completion in an area related to program analysis, security, formal methods, or software engineering.
The position is available on a full-time basis for a period of 24 months from start date. To submit your application, please follow this link or contact Narges Khakpour at address@concealed
- [PN-world] Postdoc position in Program Analysis and Security Verification, Narges Khakpour, 11/18/2024
Archive powered by MHonArc 2.6.19+.