VCLA International Student Awards
The Vienna Center for Logic and Algorithms announces the first edition of the VCLA International Student Awards
Doctoral Program Logical Methods in Computer Science
Funded Doctoral positions
PhD Position in Parameterized Complexity
PhD Position in Parameterized Complexity at TU Vienna, Austria
Pre-doc position in theoretical computer science
Application deadline: October 31st;
PhD thesis in the area of constraint satisfaction problems
New VCLA calendar feature
Subscribe to the VCLA calendar feed
Post-doc position in Applied Logic (1 year)
Application deadline: September 30, 2013
Start of position: November 2013 or later
Lecture by Robert Sedgewick
“If You Can Specify It, You Can Analyze It” —The Lasting Legacy of Philippe Flajolet
May 21st, 2013
Turing Machine Award 2012
On the occasion of Alan Turing’s 100th birthday, the Vienna Center for Logic and Algorithms (VCLA) awards the Turing Machine Award 2012.
Pre-doc position in theoretical computer science
FWF (Austrian Science Fund) project “Algorithms and Complexity of Constraint Languages” at Vienna University of Technology
National Research Network Rigorous Systems Engineering – PhD and Postdoc Positions
The RiSE Network is looking for several postdocs and PhD students in formal methods, systems engineering and related fields such as programming languages and distributed systems.
