Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- NTNU - Norwegian University of Science and Technology
- Binghamton University
- Instituto de Telecomunicações
- Karolinska Institutet, doctoral positions
- NTNU Norwegian University of Science and Technology
- Newcastle University
- BI Norwegian Business School
- Delft University of Technology (TU Delft)
- Forschungszentrum Jülich
- Institute of Bioorganic Chemistry Polish Academy of Sciences
- Instituto Politécnico de Bragança
- Mid Sweden University
- National Renewable Energy Laboratory NREL
- Nature Careers
- REQUIMTE - Rede de Quimica e Tecnologia
- RPTU University Kaiserslautern-Landau •
- Slovak University of Agriculture in Nitra
- The University of Manchester
- University of Washington
- AGH University of Krakow
- Aalborg University
- Centro Nacional de Investigaciones Cardiovasculares Carlos III F.S.P.
- Cranfield University
- ESS - Escola Superior de Saúde
- Fraunhofer-Gesellschaft
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Fundeni Clinical Institute
- Hannover Medical School •
- Helmholtz-Zentrum Geesthacht
- Institut Català d'Arqueologia Clàssica
- Instituto Superior de Agronomia
- KU LEUVEN
- Linköping University
- Lulea University of Technology
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- National Research Council Canada
- Norwegian University of Life Sciences (NMBU)
- Oak Ridge National Laboratory
- Politecnico di Milano
- Queensland University of Technology
- Technical University of Denmark
- Texas A&M AgriLife
- Universidade Católica Portuguesa - Porto
- Universidade de Vigo
- University of Bergen
- University of Cologne
- University of Luxembourg
- University of Oxford
- University of Southern Denmark
- University of Surrey
- University of Surrey;
- University of Utah
- Uppsala universitet
- Wroclaw University of Science and Technology
- cellumation GmbH
- 45 more »
- « less
-
Field
-
proof assistants, into the scientific production workflow Developing a complete and reproducible protocol for mathematical creation, verification, and publication, including formal certification
-
and verification. You will translate new architectural concepts into integrated circuit implementations and evaluate their performance through measurements on fabricated silicon chips. You will
-
creation, verification, and publication, including formal certification of results Contributing to the scientific activities of the department, e.g. seminars, workshops, reading groups and schools organized
-
on the combination of Reinforcement Learning (RL) and Model Predictive Control (MPC). It will build up upon the work done at ITK on the topic. Several research focuses are considered: verification pathways in RLMPC
-
research focuses are considered: verification pathways in RLMPC, risk management with RLMPC, sample efficiency and optimized exploration, latent state and belief state embedding in RLMPC. Are you motivated
-
. Exploring how test results and verification evidence can be traced back to safety requirements. Assessing how this evidence supports medical device certification standards such as IEC62304 and ISO14971
-
partners. Design analog and mixed-signal CMOS circuits for driving, sensing, and reading spintronic devices. Participate in the full IC design flow from architecture to schematic, layout, and verification
-
Your Job: Conduct the assembly, verification, and calibration of a novel optical instrument in our Cleanroom-5 laboratory at the University of Wuppertal Work with a variety of calibration units
-
the applicant, with verification of this condition taking place only at the grant contracting stage; Proof of enrollment in a degree program or in a non-degree course, in the case of applicants who are not
-
results and verification evidence can be traced back to safety requirements. · Assessing how this evidence supports medical device certification standards such as IEC 62304 and ISO 14971. The project