Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Karolinska Institutet, doctoral positions
- Binghamton University
- The Belgian Nuclear Research Centre
- Forschungszentrum Jülich
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Institute of Bioorganic Chemistry Polish Academy of Sciences
- Instituto de Engenharia Mecânica
- Instituto de Telecomunicações
- Nature Careers
- RPTU University Kaiserslautern-Landau •
- The University of Manchester
- Uppsala universitet
- AALTO UNIVERSITY
- AGH University of Krakow
- Aalborg University
- BI Norwegian Business School
- Centro Nacional de Investigaciones Cardiovasculares Carlos III F.S.P.
- Hannover Medical School •
- Helmholtz-Zentrum Dresden-Rossendorf
- Institute of Physical Chemistry, Polish Academy of Sciences
- Instituto Politécnico de Bragança
- Instituto Superior de Agronomia
- KU LEUVEN
- Lulea University of Technology
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- NTNU Norwegian University of Science and Technology
- Newcastle University
- Norwegian University of Life Sciences (NMBU)
- Politecnico di Milano
- REQUIMTE - Rede de Quimica e Tecnologia
- Swansea University
- The University of Manchester;
- University of Cologne
- University of Luxembourg
- University of Washington
- 25 more »
- « less
-
Field
-
Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description Are you interested in working in formal verification and programming
-
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
-
with Prof. Jesse Davis on safe AI where the goal is to develop verification and reasoning techniques for tree ensembles with applications in planning. This is a joint project in conjunction with Prof
-
of an ancient know-how and the verification of the energy efficiency of these mortars in order to re-introduce on the market a product that has now disappeared compatible with built historical heritage, capable
-
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
-
articles and communications to conferences Where to apply Website https://jobs.vhir.org/jobs/7244633-clinical-researcher-liver-diseases Requirements Research FieldBiological sciences » BiologyEducation
-
the award of academic degrees and diplomas, may be waived at the application stage for the support in question, with verification of these conditions taking place only at the scholarship contracting stage
-
verification and Large Language Model (LLM) safety, focusing on extending state-of-the-art logic-based automated reasoning tools such as ESBMC (https://github.com/esbmc/esbmc ) to address safety and reliability
-
domain applications, including blockchain block verification processes based on committee mechanisms. More specifically, the fellow is expected to carry out the following main activities during the grant
-
communication tailored to their needs. For further information, see: https://www.physik.uni-kl.de/oscar/ Course organisation During the research work, the PhD student has the possibility to participate in