[TYPES/announce] Ph.D. position at Universidad Politecnica de Madrid

Julio Mariño jmarino at fi.upm.es
Tue Jan 3 09:18:36 EST 2012

The Babel research group at Universidad Politecnica de Madrid (UPM) is
seeking a predoctoral researcher to work in verification of concurrent
software. The position is attached to the PROMETIDOS-CM project, which
investigates languages, methods and tools for reliable software

We seek applicants with a strong background in at least one of the
following fields:

 * concurrent programming
 * formal logic
 * program analysis and program verification
 * process calculi

Previous research experience or having a master's degree in
computational logic or related areas will be highly considered.

Successful applicants are expected to contribute to the development of
logics and tools for the validation of concurrent systems modeled in
terms of abstract process descriptions and shared resource
specifications, as well as the verification of the code obtained from
these models. Random keywords for the research work can be: Java, Ada,
JML, KeY, TLA, CSP, model driven engineering, separation logic,
dynamic frames, modular verification.

The position is for two years, with the possibility of renewal for up
to four years subject to satisfactory progress.

For further information, please contact Julio Mariño
(jmarino at fi.upm.es).

Applications including CV and cover letter must be sent to

empleo at madrimasd.org

including the reference


in the "Subject" field.

Applications must be received by January 20, 2012 to receive full
consideration. However, applications will continue to be accepted
until the position is filled.


Salaries at Madrid public universities are competitive at national
level. Employees have access to an excellent public healthcare

Work Environment

The group is located in the School of Computer Science, which is part
of the Montegancedo Campus, recently awarded the "International
Excellence" label by the Spanish government.

UPM is an equal opportunity employer and complies with the European
Charter for Researchers.

Julio Mariño
Babel research group
Universidad Politecnica de Madrid

More information about the Types-announce mailing list