Home page
 
Post research opportunities
Find the ideal candidate
List of registered organisations
   
 
Post your CV
Find research opportunities
Practical information
Foreign Researchers Guide
Useful links
 
List and locate Portuguese Mobility Centres .
 
Portuguese research landscape
Find out how research is organised in Portugal.
Portuguese research policy
Find out about research policy in Portugal.
Women in science
Find out about the situation of women scientists.
 
Unique identifier: ed4e7728-302e-44f7-af3c-6b4ade119167

1. Descrição do cargo/posição/bolsa
1. Job description

Cargo/posição/bolsa:


Referência: C2007-418-CITI-1

Área científica genérica: Computer science

Área científica específica: Concurrency and Parallelism in BioInformatics

Resumo do anúncio:

Applications are sought for SENIOR RESEARCHER positions for the development of computation models, languages and algorithms to exploit Concurrency and Parallelism in BioInformatics. It involves work both in the application of computer science for the modeling of biological,
biochemistry and biomedical systems, and in the development of biologically inspired computational models. Important dimensions of this research include the specification and verification of space-time properties of complex systems, modal and spatial logics for concurrency,
process calculi, and the development of parallel and distributed computing models and algorithms for BioInformatics, enabling the processing of complex simulations with access to very large data sets.

Texto do anúncio

Applications are sought for SENIOR RESEARCHER positions for the development of computation models, languages and algorithms to exploit Concurrency and Parallelism in BioInformatics. It involves work both in the application of computer science for the modeling of biological,
biochemistry and biomedical systems, and in the development of biologically inspired computational models. Important dimensions of this research include the specification and verification of space-time properties of complex systems, modal and spatial logics for concurrency,
process calculi, and the development of parallel and distributed computing models and algorithms for BioInformatics, enabling the processing of complex simulations with access to very large data sets.

Successful candidates will join the research group of the CITI centre, and conduct joint research in the context of interdisciplinary collaborations to exploit the relationships between Computer and Information Sciences and Life Sciences.

Any candidate must have a post-doctorate experience of at least 3 years, be knowledgeable in Computer Science in general, and in its relationships with BioInformatics.  Successful candidates must have competence particularly in fields like Concurrency Models, Parallel Algorithms, Principles of Programming Languages and Models. Applicants
with a strong Computer Science background will have priority.


Please send Curriculum Vitae and two reference letters to:

Prof. Jose C. Cunha (jcc @ di.fct.unl.pt)

Director, CITI – Centro de Informatica e TI

Faculdade de Ciencias e Tecnologia, Universidade Nova de Lisboa

2829-516 Caparica, Portugal


 


Número de vagas: 2

Tipo de contrato: Contrato a termo certo

País: Portugal

Localidade: Caparica

Instituição de acolhimento: CITI at FCT/UNL


Data limite de candidatura: 30 August 2007
(A data limite de candidatura deve ser confirmada no texto do anúncio)

2. Dados de contactos da organização
2. Organization contact data

Instituição de contacto: Faculdade de Ciências e Tecnologia - UNL - C2007

Endereço:
Campus Caparica
Caparica - 2829-516
Portugal

Email: sec-cc@fct.unl.pt

Website: http://www.fct.unl.pt

3. Habilitações académicas
3. Required education Level

Grau: PhD
Domínio científico: Computer science
4. Línguas exigidas
4. Required languages

Língua: English
Prioridade Elevada
Leitura: Excelente
Escrita: Excelente
Compreensão: Excelente
Conversação: Excelente
5. Experiência exigida em investigação
5. Required research experience

Domínio cient. genérico: Computer science
Domínio cient. específico: Concurrency Models, Parallel Algorithms, Principles of Programming Languages and Models
Anos de experiência: 3 anos