TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS.Continue reading
Fundamental research topics include software model checking, test case generation, static analysis, protocol verification, and formal methods for distributed and concurrent systems. Industrial research is focusing on low level software, and embedded systems in the avionics and automotive sector.
We are offering courses in Formal Methods, Model Checking, Computer-Aided Verification, Abstract Interpretation, and Decision Procedures. We are always looking for enthusiastic young people who are interested in a research project or thesis in the Bachelor, Master, and PhD programs.
The topic of this thesis is to improve an automated SAT-based cryptanalsis approach. There is the opportunity to work on this thesis during an internship at a large financial institution. If you are interested please contact Andreas Holzer.Continue reading
Igor Konnov and Josef Widder are organizing the CAV Workshop FRIDA.Continue reading
The new version 0.9.3 of CBMC-GC is now available online: http://forsyte.at/software/cbmc-gc/Continue reading
FWF has approved a doctoral college for Logical Methods in Computer Science. Details are available on the LogiCS website.Continue reading
Prof. Janos Makowsky from Technon will be a visiting professor of the European Master Program in Computational Logic. He will teach a course on Graph Polynomials.Continue reading