SEWORLD Archives

SEWORLD

SEWORLD@LISTSERV.ACM.ORG

Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject:
From: SEWORLD Moderator <[log in to unmask]>
Reply-To:SEWORLD Moderator <[log in to unmask]>
Date:Tue, 16 Mar 2021 04:22:37 -0000
Content-Type:text/plain

----------------- Original message (ID=7F7E35C3) (137 lines) ------------------
Return-Path: <[log in to unmask]>
Received: from in-003.mia.mailroute.net (003.mia.mailroute.net [199.89.3.6]) by LOIRE.EASE.LSOFT.COM (SMTPL release 1.1d) (envelope-from <[log in to unmask]>) for [log in to unmask] with TCP; Mon, 15 Mar 2021 07:24:57 -0500
Received: from localhost (003.mia.mailroute.net [127.0.0.1])
	by in-003.mia.mailroute.net (Postfix) with ESMTP id 4DzYx51ZFcz23jYF
	for <[log in to unmask]>; Mon, 15 Mar 2021 11:24:56 +0000 (UTC)
X-Virus-Scanned: by MailRoute
Authentication-Results: 003.mia (mroute_mailscanner); dkim=pass (2048-bit key)
	header.d=sheffield.ac.uk
Received: from in-003.mia.mailroute.net ([199.89.3.6])
	by localhost (003.mia [127.0.0.1]) (mroute_mailscanner, port 10024)
	with LMTP id UCtIiqUNfqDr for <[log in to unmask]>;
	Mon, 15 Mar 2021 11:24:55 +0000 (UTC)
Received: from mail-ej1-f47.google.com (mail-ej1-f47.google.com [209.85.218.47])
	(using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits))
	(No client certificate requested)
	by in-003.mia.mailroute.net (Postfix) with ESMTPS id 4DzYx25Ygqz23jjn
	for <[log in to unmask]>; Mon, 15 Mar 2021 11:24:54 +0000 (UTC)
Authentication-Results: mail.mailroute.net; dmarc=pass (p=none dis=none) header.from=sheffield.ac.uk
Authentication-Results: mail.mailroute.net; spf=pass [log in to unmask]
Authentication-Results: mail.mailroute.net;
	dkim=pass (2048-bit key) header.d=sheffield.ac.uk [log in to unmask] header.b="Edmm5phB"
Received: by mail-ej1-f47.google.com with SMTP id bm21so65504780ejb.4
        for <[log in to unmask]>; Mon, 15 Mar 2021 04:24:53 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=sheffield.ac.uk; s=170424.google;
        h=from:mime-version:subject:message-id:date:cc:to;
        bh=uBMHfo3Fho8r55TmAOUZmbjM9AA5Arn8YLwRZHNYrAE=;
        b=Edmm5phBa3ENCEhnTZq6QOEXfJmOYQVv+RvZL2o4aAkluIGeUwOb8BP+cSLJQwvDVA
         rcNY9v2jf6l5Xajw9dlsnJxiELcFrQEUFD/udgagI1nwnZITkXvNNh9MrzH390r6SnrU
         +fiq9xw6yKgCxpU2RQV2cKRSjOQymEjbFqhWD4shtS0UcJsQRVmhIxPVAQ1rvTfZLHjh
         Mkt+Rz+noLsS5EnS/LCTjxb4aqYPblO01ULh+MUmUJco/jy3oxRMck4n5xvvsOVr2F1I
         37+uHlDK3BzzDiriJ/J18t/Q+jcbx7wO4g94yUg/cL7qBG/tlk0KOgI5IzO2wjWqapYo
         zhKQ==
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=1e100.net; s=20161025;
        h=x-gm-message-state:from:mime-version:subject:message-id:date:cc:to;
        bh=uBMHfo3Fho8r55TmAOUZmbjM9AA5Arn8YLwRZHNYrAE=;
        b=iyAU/HmkJ7rYIKu73iD+o6osW9uX033pwJkqMDZ1JmSkEVr6AaWyLPuNXixLZnTFWW
         D2kLU6IYDvI05R770XzKKWDUq/EwFLo4E+C0fDdoLjo0HwbOyIdiqy23D+SDz1z7ga0g
         HpQNVkYFOf5rC99BdRdBSmALg02PlpskEVHaTlwm9mh5hQBkSTeCUOb7XPmJLEyjNNjW
         u+yNfG2AH+oYpIjqQ4No9dPtw9FnxosqQK4coykJeLS+6bvwR4+2QHRT8gM/rajXXSSq
         SJQQcZinow8kB66BZJafuS5y79+Dcqx61zf+oZU5/qwXghITfucGstWQHuu8NIfvzTzG
         BfSA==
X-Gm-Message-State: AOAM5320wuJn0x3UfMj/b09cUP2/PRUFxCm+LEXzxIp1a+Rkyvy8m9Mq
	OGQ1ckAWd1GUkPQ3K6soK18aEJ77SUJIs1AYP4gKxQteoz29SvPIPVnFvQHyB0rPM+UKhI0Dw6G
	Ki+rMtLWg0ouGZaNKokxIJ343q0+SlmjqUMKUz1pE0JSzsa4F64zPvA3dFI8sPW7z/wRP0PGseR
	2IXVQwFnl/Ng==
X-Google-Smtp-Source: ABdhPJxALRpw2WDQB6w264KuRbhQUOgdeJBjZc2UfpWu+ZsghkzMcR1L14XJnB6Nx/vp+bOsVCiNlQ==
X-Received: by 2002:a17:906:4d44:: with SMTP id b4mr23016192ejv.338.1615807491413;
        Mon, 15 Mar 2021 04:24:51 -0700 (PDT)
Received: from [192.168.0.27] (cpc141402-brnt4-2-0-cust527.4-2.cable.virginm.net. [86.9.198.16])
        by smtp.gmail.com with ESMTPSA id lm24sm7081057ejb.53.2021.03.15.04.24.50
        (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128);
        Mon, 15 Mar 2021 04:24:50 -0700 (PDT)
From: Robert M Hierons <[log in to unmask]>
Mime-Version: 1.0 (Mac OS X Mail 14.0 \(3654.60.0.2.21\))
Subject: Postdoctoral position within the UKRI Verifiability Node
Message-Id: <[log in to unmask]>
Date: Mon, 15 Mar 2021 11:24:50 +0000
Cc: Rob Hierons <[log in to unmask]>
To: [log in to unmask]
X-Mailer: Apple Mail (2.3654.60.0.2.21)
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=us-ascii

Apologies if you received more than one copy.

The position is within the Department of Computer Science at The =
University of Sheffield. The project is part of a larger programme (the =
Verifiability Node), within the Trustworthy Autonomous Systems =
Programme. You will work with leading groups, across multiple =
organisations.

With researchers at the other universities, you will develop integrated =
verification techniques (both formal verification and software testing =
techniques). You will also be involved in the implementation of these =
techniques and their evaluation on real-world autonomous systems. You =
will therefore have the opportunity to work with our industrial =
partners, potentially in collaboration with the Advanced Manufacturing =
Research Centre.=20

Collaboration within the Node and between this and other Nodes will =
provide you with the opportunity to further extend and develop your =
knowledge in areas associated with Trustworthy Autonomous Systems. You =
may also be able to contribute to the Computer Science teaching at The =
University of Sheffield.

Candidates should hold a PhD in a relevant subject (or be close to =
completion/have equivalent experience). You should also have experience =
in software testing, formal verification or formal methods as well as =
programming. You will have good communication skills, allowing you to =
liaise effectively with industrial partners and researchers. You will =
need to develop and use software tools and participate in general =
research communication activities such as videos, press articles and =
workshops.

You can find more details at:

=
https://www.jobs.ac.uk/job/CES466/research-associate-in-the-verifiability-=
node =
<https://www.jobs.ac.uk/job/CES466/research-associate-in-the-verifiability=
-node>

The closing date is 8th April 2021.

Informal enquiries should be made to Professor Rob Hierons =
([log in to unmask] <mailto:[log in to unmask]>).





--
Professor Robert M. Hierons
Department of Computer Science,
The University of Sheffield,
Regent Court, 211 Portobello, Sheffield
S1 4DP United Kingdom

homepage: =
https://www.sheffield.ac.uk/dcs/people/academic/rhierons/profile =
<https://www.sheffield.ac.uk/dcs/people/academic/rhierons/profile>

============================================================
To contribute to SEWORLD, send your submission to
mailto:[log in to unmask]

http://sigsoft.org/resources/seworld.html provides more
information on SEWORLD as well as links to a complete
archive of messages posted to the list.
============================================================

ATOM RSS1 RSS2