49 proof-checking-postdoc-computerscience Postdoctoral positions at Chalmers University of Technology
Sort by
Refine Your Search
-
research project The CryptoTeam seeks a researcher with experience in proof techniques, secure protocols design and modelling, with a strong publication record at IACR conferences. The Postdoc will have the
-
We are looking for a postdoc to join our team at the Department of Microtechnology and Nanoscience, Chalmers. Become part of our innovative group and contribute to exciting research in
-
research project We will recruit one postdoc in mathematics to work with Annika Lang on a project on time-evolving stochastic manifolds funded by the European Research Council (ERC Consolidator Grant). We
-
We are looking for a postdoc to join our international team with a broad research focus from functional materials, electrode processing, to the high performance batteries. Become part of our
-
for both anode (especially silicon-based anode) and cathode have their challenges and issues. The current postdoc position will focus on the development of a new binder system for electrode processing, which
-
also a nuclear facility, only citizens of the countries who are signatory of Treaty on the Non-Proliferation of Nuclear Weapons can apply and be considered for the position. Please check the status
-
the offer may be withdrawn. What we offer As a postdoc at Chalmers, you are an employee and enjoy all employee benefits. Read more about working at Chalmers and our benefits for employees. A dynamic and
-
students, postdocs, and faculty on all levels, we are one of the largest academic software engineering research groups in the world. Our core expertise is in AI Engineering, software testing, requirements
-
the offer may be withdrawn. What we offer As a postdoc at Chalmers, you are an employee and enjoy all employee benefits. Read more about working at Chalmers and our benefits for employees. A dynamic and
-
We are looking for a postdoc in arithmetic and algebraic geometry, with a focus on invariants that capture geometric and arithmetic complexity. Topics may include Arakelov geometry, birational and