Concurrency and Parallelism in BioInformatics
|
|
| Reference |
|
|
| Job Type |
Full-time |
|
| Job Status |
Sourcing |
|
| Date Posted |
Tuesday, 18 March 2008 |
|
| Location |
|
|
| Duration |
|
|
| Company Information |
CITI – Centro de Informatica e Tecnologias da Informação
Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa
2829-516 Caparica, Portugal,
2829-516 C
Website: http://citi.di.fct.unl.pt/
|
|
| Job Description |
CITI is opening two (2) post-doctoral positions.
Detailed information:
http://www.eracareers.pt/opportunities/index.aspx?task=global&jobId=8321
(Position A) A post-doctoral researcher interested in developing computational formalisms and techniques to model and analyze biological phenomena.
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. |
|
| Qualifications |
(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. |
|
| How to Apply |
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 |
|
| Email Resume To |
Luis.Caires@di.fct.unl.pt |
|
|
|
| Go back to last page |
Home 
Mobility Portal 
