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
-
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 Solving | Automated Reasoning | Inductive logic programming | Logic programming | Logical reasoningOccupational health care | Relocation support | Social benefitsEntry-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