Multiple (Assistant) Professor Vacancies at Eindhoven University of Technology, Netherlands
The department of mathematics and computer science at TU/e has 25 (assistant) professor vacancies. One targeted area is in the domain of formal methods, broadly constructed.
The department of mathematics and computer science at TU/e has 25 (assistant) professor vacancies. Some of the open positions may be filled in the formal system analysis group (FSA). The attractive offer includes a starting package of one PhD position, reduced teaching load, and great opportunities for personal development. We encourage interested personalities with a background in formal methods (broadly construed) to apply for a position (ASAP). For more information, see the official call at