Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Nature Careers
- University of Aveiro
- Aarhus University
- Technical University of Denmark
- University of Minho
- CNRS
- University of Luxembourg
- Associação do Instituto Superior Técnico para a Investigação e Desenvolvimento _IST-ID
- Cornell University
- Technical University of Munich
- Luxembourg Institute of Science and Technology
- NEW YORK UNIVERSITY ABU DHABI
- Universidade do Minho
- University of Warsaw
- Universty of Aveiro
- Adam Mickiewicz University, Poznań
- Faculty of Sciences of the University of Porto
- Institute of Biochemistry and Biophysics Polish Academy of Sciences
- Instituto de Engenharia Mecânica
- Lodz University of Technology
- UiT The Arctic University of Norway
- Universidade Católica Portuguesa - Porto
- University of Amsterdam (UvA)
- University of Houston
- University of Minnesota
- University of Oregon
- University of South Carolina
- Aix-Marseille Université
- Duke University
- FEUP
- Faculdade de Medicina da Universidade do Porto
- Florida International University
- Fondazione Bruno Kessler
- ICETA - Instituto de Ciências, Tecnologias e Agroambiente da Universidade do Porto
- IMT Mines Ales
- INSTITUT MAX VON LAUE - PAUL LANGEVIN
- Idiap Research Institute
- Institute of Physics, Zagreb
- Itä-Suomen yliopisto
- Jagiellonian University
- Jagiellonian University Faculty of Philosophy
- LNEC, I.P.
- Lehigh University
- Maj Institute of Pharmacology Polish Academy of Sciences
- Medical University of Gdańsk
- Nencki Institute of Experimental Biology
- New York University in Abu Dhabi
- New York University of Abu Dhabi
- Northeastern University
- REQUIMTE - Rede de Quimica e Tecnologia
- Rochester Institute of Technology
- SWPS University
- Stanford University
- The Tadeusz Manteuffel Institute History of the Polish Academy of Sciences
- Télécom Paris
- UNIVERSITY OF SYDNEY
- Umeå universitet stipendiemodul
- Universidade Nova de Lisboa
- University of Agriculture in Krakow
- University of Antwerp
- University of Colorado
- University of Kansas Medical Center
- University of Nevada Las Vegas
- University of Silesia in Katowice
- University of Texas at Dallas
- University of Trás-os-Montes and Alto Douro
- University of Virginia
- Warsaw University of Technology
- 58 more »
- « less
-
Field
-
applications for a postdoctoral position on logical foundations and formal methods for quantum programming languages. Topics of interest (non-exhaustive) : • Models of quantum computation (λ-calculi, term
-
the applicable legislation. This formality must be fulfilled up to the date of signing the contract. 2 — Formalization of the applications: 2.1 — The Applications must be accompanied by the following documents: a
-
designing DNA, RNA and proteins to create nanoscale devices for applications in biotechnology and medicine. The lab invented the RNA origami method [1] and have developed basic algorithms and software for RNA
-
track record on one of the following research areas: Trustworthy AI AI for formal methods Formal methods for AI The successful candidate will participate in the activities of the research group led by
-
the Human Resources area at https://www.ua.pt/en/sgrh/pessoal-investigador-novos-concursos-e-ofertas . 2.4.3 — When formalizing the application, if a classified document is submitted that reveals a commercial
-
for technical-scientific domains that do not correspond exactly to this call. Job Description FBK is looking for candidates to fill one position in Deep Learning methods applied to projects within the DSIP unit
-
empirical methods/mixed methods research Openness to further research in participatory, arts-based and or digitally-informed contexts in the area of inclusive education International publications in peer
-
medicine. The lab invented the RNA origami method [1] and have developed basic algorithms and software for RNA design. However, there is a great need to develop new software for the design of advanced RNA
-
., computational learning theory, expressiveness of transformers and other models, xAI, formal methods) or equivalent; willingness to conduct research on artificial intelligence/machine learning, combined with
-
medicine. The lab invented the RNA origami method [1] and have developed basic algorithms and software for RNA design. However, there is a great need to develop new software for the design of advanced RNA