Job Description
A leading academic institution in Helsinki is looking for a postdoc to develop inductive logic programming methods for the ARC challenge. The role involves working with Associate Professor Andrew Cropper and requires a PhD in computer science. Strong experience with SAT/ASP/SMT/MaxSAT is essential, ...
Apply for this Position
Ready to join Helsingin yliopisto? Click the button below to submit your application.
Submit Application