[TYPES/announce] Lecturer (assistant professor) position in Bath

[Willem Heijltjes]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The University of Bath is hiring a lecturer (assistant professor) in Computer 
Science.

We are looking in particular for strong candidates to join our Mathematical 
Foundations group:

  http://www.bath.ac.uk/projects/mathematical-foundations-of-computation/

The vacancy and online application form are here:

  http://www.bath.ac.uk/jobs/Vacancy.aspx?ref=CC7055

Note the deadline:

  20 October 2019

The post is a replacement for John Power, who retired this summer. Though it is 
open to the other research areas in the department (HCI, Graphics & Vision, 
AI), we expect to prioritise excellent candidates who complement our current 
specialities in the Mathematical Foundations area:

  * Computer Algebra
  * Cryptography
  * Lambda-calculus
  * Proof Theory
  * Real Algebraic Geometry
  * Semantics

For any questions about the post or the recruitment process, please contact:

  Alessio Guglielmi 
  Willem Heijltjes 

[TYPES/announce] PhD and PostDoc positions at Aarhus University

[Andreas Pavlogiannis]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

The Department of Computer Science at Aarhus University, Denmark, offers a 
considerable number of PhD and PostDoc positions in the areas of Logic, 
Semantics and Programming Languages. Our research spans a wide spectrum of 
topics concerning models and logics for programming languages and type 
theories, language-based security, blockchains, theoretical foundations and 
practical tools for program analysis, formal verification and model checking.


Aarhus University admits PhD students on the basis of a bachelor's degree (for 
5 year PhDs) or a master's degree (for 3 year PhDs). If admitted, all tuition 
is covered, and a generous stipend is 
provided.
 Postdoc positions can be for 1 or 2 years, and with the possibility of renewal 
(depending on the individual projects and sources of funding).


Interested applicants at all levels are encouraged to contact the respective 
faculty for details, enclosing a CV and a short description of interests.


Logic and Semantics group: http://cs.au.dk/research/logic-and-semantics/

Aslan Askarov (language-based security, web security, type 
systems, program analysis)

Lars Birkedal (higher-order concurrent separation 
logic, type 
theory, program verification)

Bas Spitters (computer aided proofs in 
cryptography, homotopy type theory, formal verification of 
blockchains)

Jaco van de Pol (parallel & symbolic model 
checking, synthesis, graph games)


Programming Languages group: https://cs.au.dk/research/programming-languages/

Magnus Madsen (programming language design, 
functional and logic programming, type systems)

Anders Møller (static & dynamic program analysis, 
program analysis and automated testing for web and mobile software)

Andreas Pavlogiannis (algorithmic & 
computational foundations of model checking, quantitative verification, static 
& dynamic analysis, concurrency)


Aarhus University is realizing an ambitious multi-phase digitalization 
initiative
 which will help prepare researchers, students and the labour force for the 
digital transition of the future. The initiative aims at significant 
expansion
 of the Department of Computer Science for faculty and students.


Next deadline: November 1st, 2019

Information about the PhD program: 
http://phd.scitech.au.dk/for-applicants/application-guide/