[TYPES/announce] Ph.D. position at Universidad Politecnica de Madrid
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
* 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
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.
Babel research group
Universidad Politecnica de Madrid
More information about the Types-announce