87 proof-checking-postdoc-computer-science-logic Postdoctoral positions in Netherlands
Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
the Dutch Research Council (NWO external link ). As a postdoc, you critically investigate the role of VR as an immersive technology and its relation to emotions and embodiment and knowledge production. You do
-
Vacancies Postdoctoral Researcher in Computational Mechanics Key takeaways Group of Multiscale Mechanics, Department of Thermal and Fluid Engineering, Faculty of Engineering Technology, University
-
available at the Advanced Production Engineering (APE) research group, Engineering and Technology Institute Groningen (ENTEG), Faculty of Science and Engineering. For more information about the APE group
-
Postdoc Position in Solid-state NMR and Drug Discovery (Antibiotics) Faculty: Faculty of Science Department: Department of Chemistry Hours per week: 36 to 40 Application deadline: 23 April 2025
-
Employment 1.0 FTE Gross monthly salary € 3,378 - € 5,331 Required background PhD Organizational unit Faculty of Science Application deadline 30 June 2025 Apply now Are you an enthusiastic young
-
, avionics systems, systems engineering and integration, mechanical systems, assembly, integration and testing, product assurance and safety, and security. The Team interacts closely with academia and the
-
is based at the Faculty of Economics and Business at the University of Groningen, the Netherlands. You'll be situated within the Department of Operations, affiliated with the Energy Transition and
-
appointed at the Computer Science Department of the Institute for Computing and Information Sciences (iCIS ). Radboud University’s iCIS is an internationally recognised institute, consistently ranked among
-
Location ESTEC, Noordwijk, Netherlands Our team and mission Internal Research Fellow (PostDoc) in Artificial Intelligence for Space Systems in the AI and Data Science Section, Future Engineering
-
scientific trends and results, as input to the strategic planning of the Agency. The team entered the field of computer science and applied mathematics in 2004, performing research related to discrete