Friday, October 29, 2021

[DMANET] Lecturer Position in Theoretical Computer Science (University of Sheffield, UK) [Closing Date: 16 November 2021]

This is an outstanding opportunity for a Lecturer in Theoretical Computer
Science at the University of Sheffield, a world top 100 University. You
will join our internationally respected Department of Computer Science.

As part of an ambitious plan for growth, the Department of Computer Science
is seeking to appoint a Lecturer in the broad field of Theoretical Computer
Science, including the design and analysis of algorithms, the logical and
semantic foundations of programming and hardware/software verification.
Researchers in the area of computational complexity, where the interests of
the Algorithms and Verification groups in the Department overlap, are
particularly encouraged to apply. Other specific areas where we seek
expertise include:

- Theoretical foundations of bio-inspired optimisation
- Performance analysis of randomised search heuristics
- Theoretical foundations of AI algorithms
- Formal methods for software and hardware systems
- Verification in security and of hybrid or probabilistic systems

You will hold a PhD in a relevant area of computer science, or have
equivalent experience. As a Lecturer, you will conduct research to the
highest standards. This will include securing research funding, publishing
in high impact conferences and journals, supervision of research students
and research project management. In addition, you will play a key role in
maintaining our reputation for high-quality teaching by designing,
delivering and assessing undergraduate and postgraduate level courses in
computer science.

We are committed to exploring flexible working opportunities which benefit
the individual and University.

We're one of the best not-for-profit organisations to work for in the UK.
The University's Total Reward Package includes a competitive salary, a
generous Pension Scheme and annual leave entitlement, as well as access to
a range of learning and development courses to support your personal and
professional development.

We build teams of people from different heritages and lifestyles whose
talent and contributions complement each other to greatest effect. We
believe diversity in all its forms delivers greater impact through
research, teaching and student experience. The Department of Computer
Science holds a Silver Athena SWAN award, in recognition of our commitment
to equality and diversity.

For more information:

Lecturer in Theoretical Computer Science at University of Sheffield
(jobs.ac.uk)
<https://www.jobs.ac.uk/job/CKB031/lecturer-in-theoretical-computer-science>


--
Pietro S. Oliveto
Senior Lecturer,
Head of the Algorithms Research Group
Department of Computer Science,
The University of Sheffield, Sheffield, UK.
*www.dcs.shef.ac.uk/people/P.Oliveto/rig/
<http://www.dcs.shef.ac.uk/people/P.Oliveto/rig/>*

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************