10 proof-checking-postdoc-computerscience PhD positions at Chalmers University of Technology
Sort by
Refine Your Search
-
researchers, postdocs, and PhD students working toward a sustainable energy future through comprehensive systems modeling and scenario evaluation. Main responsibilities Conduct high-quality research within
-
software supply chain. The goal of ShiftLeft is to contribute to a new paradigm shift for securing software supply chains. As a PhD student in the project, you will be able to focus on problems which fit
-
real-world impact. We work across domains such as healthcare, automotive, and manufacturing, using multimodal data and foundation models. The team includes PhD students, postdocs, and industry
-
Technology Laboratory (QTL) division of the Microtechnology and Nanoscience (MC2) department, working in a large team of PhDs, postdocs and researchers. About the research We are seeking PhD students to work
-
) department, working in a large team of PhDs, postdocs and researchers. About the research We are seeking PhD students to work on building the next generation of quantum processors based on superconducting
-
complex, software-intensive systems, with strong international collaborations and close ties to the local industry. With around 50 researchers—including PhD students, postdocs, and faculty at all levels—we
-
cryptographic tasks that are secure against such adversaries. Idealized Models are simplifications made in proofs for real-world cryptographic protocols. We often know that this is an oversimplification in
-
made in proofs for real-world cryptographic protocols. We often know that this is an oversimplification in general and can hide attacks. We are interested in studying under which circumstances
-
. Project description Critical network infrastructure supporting global Internet communications relies on optical fiber networks, the only future-proof solution for bandwidth-hungry applications, ultra-high
-
develop robotic fabrication workflows for 3D printing to fit uniquely shaped components waste-free and with high design quality. About the research environment The PhD student will join the research area