Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Employer
- BI Norwegian Business School
- National Research Council Canada
- REQUIMTE - Rede de Quimica e Tecnologia
- Tallinn University of Technology
- Forschungszentrum Jülich
- National University of Science and Technology POLITEHNICA Bucharest
- ; The University of Edinburgh
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Fraunhofer-Gesellschaft
- Instituto Politécnico de Bragança
- National Renewable Energy Laboratory NREL
- RPTU University of Kaiserslautern-Landau •
- The University of Edinburgh
- University of A Coruña
- University of Groningen
- CNRS
- Chalmers University of Technology
- Conservatorio di Musica "Santa Cecilia"
- Cranfield University
- Delft University of Technology (TU Delft); today published
- Delft University of Technology (TU Delft); yesterday published
- Hannover Medical School •
- Inria, the French national research institute for the digital sciences
- Instituto Superior de Economia e Gestão
- Instituto de Engenharia Mecânica
- Instituto de Telecomunicações
- KU LEUVEN
- Karolinska Institutet, doctoral positions
- NOVA.id.FCT- Associação para a Inovação de Desenvolvimento da FCT
- Nature Careers
- 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 Greenwich
- University of Groningen; 26 Sep ’25 published
- University of Porto
- University of Primorska
- University of Southern Denmark
- University of Warwick
- University of Warwick;
- Warsaw University of Technology - Centre for Credible AI
- 36 more »
- « less
-
Field
-
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
-
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
-
into account, as well as the value contributed to the centre and the host team. The selection committees, if they deem it appropriate, may call candidates for an interview, as well as carry out the verification
-
machinery. These tasks include the verification of backlash detection and monitoring strategies formulated from the integration of multibody models and sensor data, as well as their subsequent development
-
machinery. These tasks include the verification of backlash detection and monitoring strategies formulated from the integration of multibody models and sensor data, as well as their subsequent development
-
. Verification of your documents Karolinska Institutet checks the authenticity of your documents. Karolinska Institutet reserves the right to revoke admission if supporting documents are discovered to be
-
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
-
limitations —driven to explore solutions that go beyond what verification alone can achieve. This PhD project focuses on developing analysis and program repair techniques that enhance software interoperability
-
dissection for parameter verification, and a novel morphometric scaling approach, we will set a new standard for modelling the musculoskeletal system. These next-generation models will allow us to explore how