caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] Assistant/Associate Professor positions in Edinburgh, UK (Herio-Watt University): Logic, Programming Languages, Verification, Security
@ 2021-02-16 13:33 Ekaterina Komendantskaya
  0 siblings, 0 replies; only message in thread
From: Ekaterina Komendantskaya @ 2021-02-16 13:33 UTC (permalink / raw)
  To: types-list, haskell-cafe, types, ciao-users, caml users,
	erlang-questions, ARW-COMMITTEE, cl-isabelle-users, tag,
	boost-interest, Association for Symbolic Logic, clean-list,
	event, prog-lang, afsec, security, gdr-im, gt-verif-permanents,
	tag, planetkr, fmics, nwpt-info, theorynt, comm-theory, wi,
	iclp-workshops, DSG, SPLS, stp, British Logic Colloquium, cade,
	haskell, agda, types-announce, coq-club, laiv-announce,

[-- Attachment #1: Type: text/plain, Size: 5672 bytes --]

*... Apologies for multiple postings, please help to distribute to
potential applicants in your research area*

                                   in COMPUTER SCIENCE
                             £59,135 -£41,526 per annum
             CLOSING DATE FOR APPLICATIONS: 11 April 2021

Heriot-Watt University has established a reputation for world-class
teaching and leading-edge,
relevant research, which has made it one of the top UK universities for
innovation, business and industry.
To celebrate our 2021 bicentenary of pioneering research, we have set
ourselves the target of recruiting
one hundred outstanding research academics between 2018 and 2021.

As part of this prestigious programme, the School of Mathematical and
Computer Sciences (MACS)
welcomes applications for the posts of Assistant / Associate Professor /
Professor in Computer Science.
We particularly welcome applicants with expertise in either:

(i) Artificial Intelligence and Robotics (which includes pervasive and
ubiquitous systems, planning,
data science and semantic web, autonomous agents, human-robot interaction,
human computer interaction and multimodal interaction);

(ii) Security and Verification (including verification of system safety and
security, cybersecurity,
automated reasoning, theorem proving, programming languages and semantics,
foundations of computer science).

In addition, and as part of the School’s on-going plans to open new joint
Mathematics-CS and Statistics-CS posts,
we encourage applicants who have interdisciplinary training or experience
linking one of the outlined CS priority
areas and topics in Mathematics and Statistics (including, but not limited
to, algebra and category theory, discrete
mathematics and logic, financial risk, cyber risk, actuarial and
statistical data science, statistical machine learning,
Bayesian computational methods).

The School strongly encourages and supports the generation of industry
impact from research, and we welcome
candidates with experience of working in industry on AI, data science,
robotics, autonomous systems, verification
or security projects or a strong track record of collaborating with
industrial partners.

Exceptional candidates possessing an extensive track record of
internationally excellent research and leadership
may be considered for appointment at Chair level; candidates interested in
the position at Chair level should in
the first instance contact the Head of School, Prof Beatrice Pelloni,

The School of Mathematical and Computer Sciences is committed to support
family friendly work practices and
part-time working options as part of our Athena Swan Bronze award

We especially encourage women and members of underrepresented groups to
apply for this position.
We welcome and will consider flexible working patterns e.g. part-time
working and job share options.


The Department of Computer Scienceis internationally renowned for its
world-class research across a number of areas,
including artificial intelligence and machine learning, data integration,
knowledge representation, visualization and analytics,
natural language processing, formal methods, logic, type theory,
programming languages, parallel computation, human-computer
and human-robot interaction, and cybersecurity.

Jointly with University of Edinburgh, we host the center for doctoral
training “Edinburgh Centre for Robotics” and
the UK’s first National Robotarium, that together form a £129M joint
venture, a center of excellence for AI research on
an international scale, and a research and innovation hub with >150 staff
and PhD students. In RCUK’s recent Grand Challenges Scheme:
Trustworthy Autonomous Systems (TAS), our academics form core teams in 2
out of 7TAS nodes (each node is supported by a £3M research grant).
The two nodes stand for“Trust” and “Governance” in Autonomous Systems.  Our
grant funding in this area has also grown
through being awarded jointly with another school at HWU an EPSRC
Industrial Strategy Challenge Strategy Fund for
the Robotics Hub for Offshore Robotics for Certification of Assets (ORCA)
worth £14.6M, which is one of the largest
industrial strategy challenge funds awards in Scotland.

The department has strong collaboration with Industry. Since 2014, we have
undertaken 107 projects with industrial partners,
through our doctoral training centers (40 industrial partners), the ORCA
hub (30 industrial partners), and the TAS nodes.
Among our collaborators are Amazon Research, BP, Chevron, FiveAI, Horiba
Mira, Imandra, Kawasaki, Kuka Robotics, Lloyds,
Schlumberger, and many others.

For further information, please consult the university job portal (h
For informal discussions about the position or the department of Computer
Science please contact
Prof. Ekaterina Komendantskaya (Head of Computer Science) at
Alternatively, you may like to approach one of the members of the
recruitment committee:

James McKinna (Logic, Semantics of Programming languages, Verification),
Ron Petrick (AI planning, Symbolic AI),
Sasa Radomirovic (Security)

[-- Attachment #2: Type: text/html, Size: 8567 bytes --]

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2021-02-16 13:33 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2021-02-16 13:33 [Caml-list] Assistant/Associate Professor positions in Edinburgh, UK (Herio-Watt University): Logic, Programming Languages, Verification, Security Ekaterina Komendantskaya

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).