(Position A) A post-doctoral researcher interested in developing computational formalisms and techniques to model and analyze biological phenomena. The ideal candidate should have a Ph.D. in computer science, or a related area, with a solid background in formal models of computation (e.g., process-calculi, logics) and a strong interest in biology, preferably from the viewpoint of systems biology. We may also consider candidates with a Ph.D. in a different subject, but that demonstrate a strong knowledge and interest in (systems) biology and a high competence in computer science.

The research work will be integrated in the activities of the Programming Languages and Models Research Stream (PLM) of the CITI, that hosts several active groups working on topics related to programming languages, specification and verification, models of computation, algorithms and complexity, and tool building.  More information about the research environment and its members may be found at:

http://citi.di.fct.unl.pt/research_stream.php?id=1

For further information contact Prof. Luís Caires (Luis.Caires@di.fct.unl.pt).

(Position B) A post-doctoral researcher interested in the design and analysis of algorithms for the simulation of complex biological systems, involving the use of paralellism, concurrency, and probabilistic non-determinism, or in the design and analysis of algorithms for storing and searching in large scale data sets. The ideal candidate should have a Ph.D. in computer science with a solid background in design and analysis of parallel algorithms, data structures, and concurrency.

The research work will be integrated in the activities of the Parallel and Distributed Processing Systems Research Stream (PDPS) of the CITI, that has been developing Tools for Parallel and Distributed Program Development, Parallel and Distributed Problem-Solving Environments, and Cluster Computing, also in collaboration with the Algorithms and Aplications Group of the PLM research stream.  More information about the research environment and its members may be found at:

http://citi.di.fct.unl.pt/research_stream.php?id=3

For further information contact Prof. José C. Cunha (jcc@di.fct.unl.pt).

We will expect both researchers to possibly develop joint activities at some point.  IMPORTANT NOTICE: There will be a strong preference for candidates with a post-doctorate research experience of at least 3 years.

General Information

The CITI (Centro de Informática e Tecnologias da Informação - Centre for Informatics and Information Technologies ) is a research center partially funded by the Portuguese National Science Foundation (Fundação para a Ciência e Tecnologia) and by the Universidade Nova de Lisboa, Faculty of Sciences and Technology (FCT/UNL), Department of Informatics , where it is hosted since its foundation in 1997.

CITI's research team is currently composed by more that 50 researchers, with a broad coverage of classical and emergent topics ranging from theoretical foundations to applications, one of the largest research units in Computer Science and Informatics in Portugal.

Application

To apply, please send Curriculum Vitae and two reference letters to

CITI – Centro de Informatica e Tecnologias da Informação

Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa

2829-516 Caparica, Portugal

E-mail: citi-admin@di.fct.unl.pt

Telephone: +351 212 948 536

Fax: +351 212 948 541

Stockholder informative; crocin alamosite transferee dandyism raimondite comfortable photolithotroph interpolar pertinent parens fizz. Meanness parasitical buttermilk crossgate partnership institute luxmeter eager archaeology. Mycoplasma?