We at Taxfix are searching for a Senior Research Engineer in Automated Reasoning.
If you are super interested in Expert Systems, Knowledge Bases and reasoning, this could be very interesting for you!
This is the link of our job description
If you’ll need more info, please don’t hesitate to send me a direct message.
Thank you for your attention!