Research Associate in Automated Verification of CHERI C++ Programs Needed |
The University of Manchester seeks a research associate
to research and apply novel formal software verification theories and
methodologies on components of innovative DSbD technology being
developed in the project.
"In particular, we will extend the Efficient SMT-based bounded
model checking (ESBMC) tool with a Clang C++ frontend, new operational
models reflecting the Morello architecture, new analyses for the
modified notion of memory safety and compartmentalisation requirements,
and further extensions to improve their applicability in the industrial
context".
|
Horizon Europe: Civil Security for Society €1.6 billion funding available |
Horizon Europe
is the EU’s latest research and innovation programme and will run from
2021 - 2027 with an overall budget of at least €95.5 billion.
The UK will ‘associate’ to Horizon Europe, which means that UK
entities can participate and apply for funding on the same terms and
conditions as EU-based applicants.
|
Connected Everything: Covid Career Recovery programme |
Connected Everything has created a Covid Career recovery programme
which will offer small amounts of funding to enable career progression
that would not be possible otherwise. Awards will be made up to a
maximum of £5,000 with £40,000 available in the budget.
|
FCA Sustainability TechSprint – October 2021 |
TechSprints
are events that bring together participants from across and outside of
financial services to develop technology-based ideas or proof of
concepts to address specific industry challenges.
"We see this as an excellent opportunity for firms from across
the financial services ecosystem, academia, technology, innovators and
start-ups to work with us, and other international regulators, to
develop solutions to shared challenges".
|
Applications are invited for a Chair and Members of a new Policing Science Advisory Council (PSAC) |
PSAC
is an expert committee whose members bring world-leading knowledge and
experience of applying economics, engineering, social science,
statistics, and the physical and life sciences to policing. ou will
bring significant knowledge and experience of how science, technology
and innovation can be leveraged in support of the police mission,
bringing your expertise to bare on complex problems, often challenging
established thinking and helping our teams find effective, practical
solutions.
Positions are available for a chair, and for members.
|
REPHRAIN - launch of "In-Residence" programme |
Researcher-in-Residence programme
invites proposals from researchers who wish to join REPHRAIN, the UKRI
funded Research Centre on Privacy, Harm Reduction and Adversarial
Influence Online as a REPHRAIN Academic Fellow. "We expect to fund up to
20 Researchers-in-Residence as part of this programme with an
indicative maximum funding of £15,000 at 100% Full Economic Cost (fEC)
per UK based researcher time".
Practitioner-in-Residence (Industry Fellow) Programme
welcomes expressions of interest in this role. "REPHRAIN welcomes
applications from members of the UK and international community, who may
be based in industry (including SMEs), Government, Regulatory Bodies
and third sector organisations who are interested in spending a defined
period of time working within the REPHRAIN research centre".
|
Turing trustworthy digital identity conference |
This conference
brings together prominent academics and key players in the field of
digital identity from government and industry sectors to focus on
opportunities in the assessment and development of trustworthy digital
identity systems.
Conference submissions and extended journal abstracts of up to
1000 words are being accepted until 30 Jul 2021, 16:00 BST.
|
Call for participants in THRIDI design workshop |
The workshop
will aim to create a free-thinking and collaborative environment,
involving 24 participants using online collaboration and communication
tools.
The workshop would be especially suited to researchers in
academia, industry, and public sector specialising in IoT, network
security, privacy-enhancing technologies, user interface design, law,
and policy.
|
Call for Evidence: new tech in the application of law |
The Justice and Home Affairs Committee seeks to explore
the use of new technologies in the application of the law and the
experience of people currently or previously engaged with them.
|
Issues Alert |
> Network Security : Volume 2021, Issue 7.
> Cipher Electronic Issue (EI) 162, July 21, 2021.
> Computers & Security Volume 108 , September 2021.
> ACM Transactions on the Web (TWEB), Volume 15, Issue 4, (July 2021).
> IEEE Security & Privacy Vol. 19 , Issue 4, July-Aug. 2021.
> CREST Issue 11: Risk.
> International Journal of Information Security, Volume 20, issue 4, August 2021.
|
|
|
 |
SPRITE+ Sandpit 2021 Event Completed! |
|
|
SPRITE+
2021 sandpit saw 35 participants come together to form 9 teams and
pitch their proposals to the panel of judges. The proposals were of very
high quality making the panel's job a difficult one.
In the end, the panel agreed to fund 5 projects, with the
details to be announced once contracts have been signed.
|
Subject
to covid restrictions, SPRITE+ will be holding some regional meet-ups
in the new academic year. If you are interested in hosting an informal
meeting near you, either at your organisation or local venue, please get
in touch for a chat about what it might involve (admin@spritehub.org).
|
ECR Training Calendar is Live! |
|
|
Check the latest upcoming events that SPRITE+ has to offer!
Coming up on 11 Aug 2021: SPRITE+ Top Tips: Use of small grants.
Speakers: Dr Karena Kyne (Lancaster University) & Dr Nathan
Smith (University of Manchester).
|
READ MORE
SPRITE+ Member Spotlight – Mohamed Khamis |
|
|
We continue to publish Career Journey interviews with SPRITE+ Project Partners, Experts, and Members.
The
spotlight today is on Mohamed Khamis – Lecturer in Computing Science at
the University of Glasgow, a member of the Glasgow Interactive Systems
(GIST) Section, and a SPRITE+ member.
|
READ MORE
Call for Expert Fellows from Academia and Professional Practice |
|
|
We
are seeking new Fellows to join a diverse group of experts, each
bringing deep expertise and creative thinking to SPRITE+ activities, and
together providing a broad, challenging and informed range of
viewpoints on TIPS in digital contexts.
|
READ MORE
Call for Events and Activities |
|
|
We
are offering logistical support to help organise the activity and will
make available up to £5,000 of funding per activity to cover associated
costs (e.g., travel, materials, professional facilitation/online
production costs, data access).
|
READ MORE
New Career and Funding Opportunities |
|
|
We regularly collate PhD studentships, academic positions, and other opportunities related to digital TIPS.
This
month's roundup includes EPSRC Software for research communities call,
academic jobs in internet of things, data science, and AI, Community
Manager in AI for Science and Government, and more!
|
READ MORE
Email us with your news (e.g. jobs, studentships, events, conference
calls, calls for funding, publications, consultations) on
admin@spritehub.org, alert us on Twitter by including @SPRITEPlus in your tweet, or reach out on LinkedIn.
The
newsletter is published every last Wednesday of the month. Deadline to
include your news piece is every second-last Friday of the month.
Learn more about benefits of SPRITE+ membership.
admin@spritehub.org
https://spritehub.org/
|
|