At FMV we still have openings
for at least one Ph.D. student as part of the national research
network RiSE funded by
We are particularly interested in students with in depth
experience in implementing decision procedures or related
techniques and/or proven excellent implemention skills.
We will continue looking for candidates until the positions are
filled. If you are interested contact Armin Biere for more information or
apply through the RiSE webpage.