The Department of Mathematics and Computer Science at the University of Southern Denmark (campus Odense) invites applications for postdoctoral research fellowships in programming languages and distributed systems.
The ideal candidate has a PhD in Computer Science and a research track record in at least one of the following areas.
• Theory of programming languages.
• Compiler technology.
• Concurrency theory.
• Distributed systems.
• Theorem proving.
For more information on the site below: