Doctoral Researcher in Logical Reasoning and Machine Learning
Tasks
- Apply automated reasoning techniques to machine learning
- Collaborate with logic and learning group
- Develop inductive logic programming methods
- Develop new algorithms
- Present at conferences
- Run experiments
- Write research papers
Perks/Benefits
Skills/Tech-stack
ASP Solver | Automated Reasoning | Inductive logic programming | Logic programming | Logical reasoning | Machine Learning | MaxSAT | SAT Solver | SMT solver
Education
Roles
Related jobs
-
ASP Solving | Automated Reasoning | Inductive logic programming | Logic programming | Logical reasoningOccupational health care | Relocation support | Social benefitsEntry-level Full TimeHelsinki, FI2d ago
-
Postdoctoral Researcher Position in AI/DFT/DMFT Computational Materials Discovery - Aalto University EUR 50K-55KComputational Materials | Condensed Matter Physics | Condensed matter | Density Functional Theory | Generative ModelsComputational resources free of charge | Occupational healthcare | Research collaboration opportunitiesEntry-level Full TimeOtaniemi, Finland12d ago
-
Convex Optimization | Information theory | Inverse problems | MATLAB | Machine LearningCommuter ticket benefit | Learning and development opportunities | Occupational health care | Sport activitiesEntry-level Full TimeKide, Finland13d ago
-
Artificial Intelligence | Computational Neuroscience | Data Analysis | EEG | ElectrophysiologyInternational research environment | Research infrastructure access | Trial periodSenior-level Full TimeHelsinki, FI28d ago