Doctoral Researcher in Logical Reasoning and Machine Learning
Tasks
- Conduct machine learning and logical reasoning research
- Develop new algorithms
- Perform inductive logic programming research
- Present at conferences
- Run experiments
- Use automated reasoning solvers
- Write research papers
Perks/Benefits
Skills/Tech-stack
ASP Solving | Automated Reasoning | Inductive logic programming | Logic programming | Logical reasoning | Machine Learning | MaxSAT Solving | SAT solving | SMT solving
Education
Bachelor of Engineering | Bachelor of Science | Master of Engineering | Master of Science | PhD
Roles
Related jobs
-
ASP Solver | Automated Reasoning | Inductive logic programming | Logic programming | Logical reasoningOccupational health care | Relocation support | Social benefits | Work-life balanceEntry-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