[Agda] Multiple Research Positions, ERC MATHADOR Project, IMDEA Software Institute, Madrid, Spain

[Germán Andrés Delbianco]

Applications are invited for multiple positions
(PhD/Postdoc/Scientific Programmer) at the IMDEA Software Institute,
Madrid, Spain. The positions are available from April 2017.

The successful candidate will work under the supervision of Aleks
Nanevski (http://software.imdea.org/~aleks/). The topic of the
research, to be determined based on the common interests of the
candidate and the supervisor, will be in the areas of software
verification, logics for concurrent programs, and language-based
security. The research will be funded by Aleks' ERC Consolidator award
"MATHADOR: Type and Proof Structures for Concurrent Software
Verification", which aims to investigate the type-theoretic
foundations for verification of concurrent software.

PhD candidates should have an excellent MSc or BSc degree in computer
science or a related subject, with an interest in the above areas, and
a strong commitment to research. An MSc or a BSc thesis is a plus. PhD
positions are for four years.

Postdoc candidates should have, or expect shortly to obtain, a PhD in
computer science. The ideal candidate will have expertise in program
semantics and program logics, concurrent or distributed computing,
type theory or interactive theorem proving, as they apply to the above
areas. Postdoc positions are initially for one year, with possible
extension up to three years.

Scientific programmer candidates should hold a BSc or MSc degree in
computer science, with experience in and passion for functional
programming, and strong interest and willingness to learn interactive
theorem proving (eg., Coq). The scientific programmer position is
initially for one year, with possible extension up to five years.

All positions require good teamwork and communication skills,
including excellent spoken and written English. Salaries at IMDEA
Software Institute are internationally competitive.

Interested applicants are encouraged to contact Aleks directly (aleks
dot nanevski at imdea dot org). Formal applications should be
submitted online at

 https://careers.imdea.org/software/

and mention this announcement in the submitted materials. (For the
scientific programmer position, please select the "Research Engineer"
option). Review of applications will begin immediately.