109 proof-checking-postdoc-computer-science-logic positions at Chalmers University of Technology in Sweden
Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Field
-
of the Wallenberg Centre for Quantum Technology (WACQT, http://wacqt.se ). The core project of the centre is to build a quantum computer based on superconducting circuits. You will be part of the Quantum Computing
-
, hardware, operating systems, distributed systems and cybersecurity. Computing Science , with specializations in data security, formal methods, functional programming, as well as logic and type theory
-
are signatory of Treaty on the Non-Proliferation of Nuclear Weapons can apply and be considered for the position. Please check the status of your country before applying. Contract terms This postdoc position is a
-
technologies (ISAC). This is a growing research area with many open challenges and opportunities. As a postdoc, you will engage in applied research, including in collaboration with leading industry partners. You
-
quantum computing with superconducting circuits. You will work in the stimulating research environment of the Wallenberg Centre for Quantum Technology (WACQT, http://wacqt.se ). The core project of
-
Are you interested in cutting edge research combining nanofluidics, nanophotonics and photochemistry? Join the Langhammer group at Chalmers University of Technology to develop the next generation
-
of Computer and Network System s within the Department of Computer Science and Engineering . The Computer Systems research unit, within the Division of Computer and Network Systems is conducting research
-
This is a broad call for five fully-funded PhD positions in computer science and engineering to work on machine learning, autonomous systems, software engineering, formal methods, and network
-
and computational metabolomics, dietary biomarkers, micronutrient metal nutrition, nutritional immunology, marine food science, plant based foods and nutrition as well as food by-product biorefining and
-
photonics integration. If you're passionate about advancing optical technology, do not hesitate to apply! Information about the division and the department An optical frequency comb is a laser source with