Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- Tallinn University of Technology
- BI Norwegian Business School
- Forschungszentrum Jülich
- Karolinska Institutet, doctoral positions
- National University of Science and Technology POLITEHNICA Bucharest
- UNINOVA - Instituto de Desenvolvimento de Novas Tecnologias
- CNRS
- Delft University of Technology (TU Delft)
- Fraunhofer-Gesellschaft
- Instituto Politécnico de Bragança
- National Research Council Canada
- Nature Careers
- ODTÜ-GÜNAM
- RPTU University of Kaiserslautern-Landau •
- University of A Coruña
- University of Groningen
- University of Warwick
- Aalborg University
- Binghamton University
- Colorado State University
- Conservatorio di Musica "Santa Cecilia"
- Cranfield University
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); today published
- Delft University of Technology (TU Delft); yesterday published
- Fundació Hospital Universitari Vall d'Hebron- Institut de recerca
- Hannover Medical School •
- Inria, the French national research institute for the digital sciences
- Institute of Bioorganic Chemistry Polish Academy of Sciences
- Instituto Politécnico de Coimbra
- Instituto Superior de Economia e Gestão
- Instituto de Engenharia Mecânica
- Instituto de Telecomunicações
- Massachusetts Institute of Technology (MIT)
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- National Renewable Energy Laboratory NREL
- Politecnico di Torino
- Queensland University of Technology
- Texas A&M AgriLife
- The University of Manchester
- UPF
- University of Amsterdam (UvA)
- University of Beira Interior
- University of Cambridge
- University of Cambridge;
- University of Groningen; 26 Sep ’25 published
- University of Groningen; Published yesterday
- University of Porto
- University of Primorska
- University of Southern Denmark
- University of Surrey
- Warsaw University of Technology - Centre for Credible AI
- 42 more »
- « less
-
Field
-
. • A Diploma Supplement or a similar document describing in detail the study and grade system associated with the obtained degree. • Signed transcript verification document (to be found here) . (Please
-
designed functions; · Analysing code parameters, weight distributions, and dual structures; · Applying computational algebra tools (Magma, SageMath, GAP) for verification and experimentation
-
this position will be responsible for conducting research in the area of verification, testing and exploration of artificial intelligence models, active participation in lab meetings, scientific seminars and
-
) Interview (Soft skills and hard skills, namely: Social, Behavioral, Emotional, Motivation, Communication, Initiative, and verification and validation of knowledge and performance recorded in the previous
-
methods. This broad approach will offer several verification methods; the choice could be linked and justified by the value of an article. The activities here are motivated by the need to provide robust
-
a strong background in discrete mathematics, algorithms, computational complexity, automata, logic, formal languages, verification, or related topics with undergraduate and/or master’s degrees in
-
through simulation Utilize advanced CMOS technology nodes (28nm, 22nm, and below) Automate the design and layouts using Skill programming Develop behavioural models for circuit verification Contribute
-
following the rules in the link https://forms.office.com/e/9maiQswsgP?origin=lprLink Administrative verification of the academic qualification's eligibility for PhD admission at PoliTo: M.Sc. degree (i.e. 2
-
Verification WP6: Dissemination, Communication, Stakeholder Engagement, Exploitation WP7: Project Coordination, Scientific, Technical and Innovation Management Cir4Fun: Contribute for the following tasks
-
these can be accessed without synchronization (by the end of February); - Define a weakest-precondition in the logic for the verification of a core object-calculus with asynchronous tasks, and prove its