These interests were integrated in the doctoral thesis that he defended in 1984 ("A Development of Stanislaw Lesniewski's logical systems: Protothetic, ontology and mereology") at the University of Neuchâtel, supervised by the eminent logician Jean-Blaise Grize.
Appointed Professor at the University of Neuchâtel in 1987 (he will become its rector from 1999 to 2003), he taught logic and chaired the Semiologic Research Centre.
Professor Miéville developed an expertise on Lesniewski's logic due to his interest in developmental systems, that have the advantage of being dynamic, universal, free and of a higher order.
Moreover, by developing a theory of syntactic-semantic categories, he focussed on a methodology able to identify logico-discursive indices in texts, by representing them as argumentative and reasoned structures.
This is one of the reasons that led Professor Miéville to specifically examine the discursive procedures from which new knowledge is developed, such as those proceeding by analogy, and those structuring creative definitions.