We have changed our domainWe have changed servers and operate Career|edu under a different domain. Our services will remain unchanged and we will continue to post the best career openings for the academic world at our new domain.
Go back to the Job List
Doctoral Grant (BOF), Verification - 2019BAPDOCPROEX207Posted by: University of Antwerp
Posted date: 2019-Jul-18
The Faculty of Science is seeking to fill a full-time (100%) vacancy in the Department of Computer Science for a
Doctoral Grant by the University Research Fund (BOF) in the area of Verification
Research group: The “Formal Techniques in Software Engineering” group (FOTS), headed by Prof. G. A. Perez develops algorithms and tools that enable engineers to automatically verify that their software and hardware satisfy their specifications.
Project: The main theoretical tools used by the group include automata, logic, and games played on graphs. One of the simplest extensions of finite automata is obtained when extending the model with one or more integer-valued variables, called counters. Counter automata are not only suitable models for systems with integer variables or lists; the formal verification community has found several other instances in which the model is useful. The research project in which you will be working focuses on (1) the connection between counter automata and Presburger arithmetic, (2) developing decision procedures for verification problems regarding counter automata, and (3) implementing the latter in prototype software-verification tools.
Profile and requirements
How to apply?
The University of Antwerp is a family friendly organization, with a focus on equal opportunities and diversity. Our HR-policy for researchers was awarded by the European Commission with the quality label HR Excellence in research.
We support the Science4Refugees initiative and encourage asylum-seeking, refugee scientists and researchers to apply for a job at the University of Antwerp.