4 software-verification-postdoc Postdoctoral positions in Sweden

Two Postdocs in Programming Languages

Chalmers University of Technology | Sweden | about 1 month ago

world-leading research in programming language design, semantics, interactive theorem proving, and formal verification. About the research project We are looking for two Postdocs with a strong background

Postdoc in AI-based formally verified code generation

KTH Royal Institute of Technology | Sweden | 2 months ago

Job related to staff position within a Research Infrastructure? No Offer Description Job description AI is rapidly becoming the primary author of the world's software. Today's models generate code at a

Two Postdocs in Programming Languages

Chalmers University of Technology | Sweden | 3 months ago

position within a Research Infrastructure? No Offer Description Do you want to use functional programming to find new ways to develop, test and formally verify software or hardware? Chalmers, with its world

Postdoc position in Robotics and Artificial Intelligence WASP

Lulea University of Technology | Sweden | about 16 hours ago

of Computer Science, Electrical and Space Engineering as part of the national research program WASP. Wallenberg AI, Autonomous Systems and Software Program (WASP) is Sweden’s largest individual research program ever, a