Sort by
Refine Your Search
-
Listed
-
Employer
- University of Aveiro
- Universty of Aveiro
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Instituto de Engenharia Mecânica
- Universidade Católica Portuguesa - Porto
- Gulbenkian Institute for Molecular Medicine
- ICETA - Instituto de Ciências, Tecnologias e Agroambiente da Universidade do Porto
- International Iberian Nanotechnology Laboratory (INL)
- LNEC, I.P.
- REQUIMTE - Rede de Quimica e Tecnologia
- Universidade Nova de Lisboa
- Universidade de Aveiro
- University of Minho
- University of Trás-os-Montes and Alto Douro
- 4 more »
- « less
-
Field
-
, including electronic health records and cohort study data; Develop and apply clustering methods and classification models for patient stratification; Conduct survival analyses and implement time-to-event
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions