2 software-engineering-requirements-engineering "https:" PhD positions at Uppsala universitet

PhD student focusing on Scalable Quantum Program Verification

Uppsala universitet | Sweden | 9 days ago

software (e.g. in security), there is an urgent need for verifying the trustworthiness of quantum programs at scale. Features of modern quantum programs such as Quantum Error Correction lead to hybrid

Up to 2 PhD Positions in Programming Languages and Program Verification

Uppsala universitet | Sweden | 3 months ago

, program verification and software engineering. Beyond technical collaborations, the group meets regularly and provides an engaging and supportive environment. Project description The available PhD positions