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
-
Active Learning | Decision support | Distribution Shift | Foundation Models | Generative AIResearch environmentNone Full TimeOtaniemi, Finland11d ago
-
Differential Privacy | Machine Learning | Privacy-preserving | Privacy-preserving machine learning | Statistical AnalysisOccupational health care | Relocation support | Work-life balanceEntry-level Full TimeHelsinki, FI19d ago
-
Ablation Studies | Attention Mechanisms | Computer Vision | Convolutional Neural Networks | Experimental DesignCompany events | Great place to work | Hackathons | Inclusive workplaceEntry-level InternshipTampere21d ago
-
ASP Solver | Automated Reasoning | Inductive logic programming | Logic programming | Logical reasoningOccupational health care | Relocation support | Social benefits | Work-life balanceEntry-level Full TimeHelsinki, FI22d 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, Finland1mo ago
-
Convex Optimization | Information theory | Inverse problems | MATLAB | Machine LearningCommuter ticket benefit | Learning and development opportunities | Occupational health care | Sport activitiesEntry-level Full TimeKide, Finland1mo ago
-
Artificial Intelligence | Computational Neuroscience | Data Analysis | EEG | ElectrophysiologyInternational research environment | Research infrastructure access | Trial periodSenior-level Full TimeHelsinki, FI1mo ago