101 English-speaking jobs in Oslo

Develop formal methods and knowledge representation techniques for modeling and analyzing complex manufacturing and intralogistics systems. Investigate integrated representations that support consistency checking, automated reasoning, and synthesis of behavioral models.