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
-
Bayesian Inference | Differential geometry | Estimating Functions | Function design | Information geometryHealth insurance | International relocation support | Occupational health care | Professional development | Sports facilitiesEntry-level Full TimeHelsinki, FI13d ago
-
Bayesian Inference | Julia | MATLAB | Machine Learning | Neural NetworksFamily benefits | Health insurance | Occupational health care | Professional development | Relocation supportEntry-level Full TimeHelsinki, FI13d ago
-
Doctoral Researcher in Machine Learning for Predictive Maintenance of Maritime Machinery EUR 37K-43KAnomaly Detection | Bayesian Inference | Condition Monitoring | Deep learning | Degradation modelingDoctoral training | Hybrid work possible | Opportunities to publish and present | Research guidanceEntry-level Full TimeTietotie 1, Finland14d ago
-
Differential Privacy | Machine Learning | Privacy-preserving | Privacy-preserving machine learning | Statistical AnalysisOccupational health care | Relocation support | Work-life balanceEntry-level Full TimeHelsinki, FI1mo ago
-
Ablation Studies | Attention Mechanisms | Computer Vision | Convolutional Neural Networks | Experimental DesignCompany events | Great place to work | Hackathons | Inclusive workplaceEntry-level InternshipTampere1mo ago
-
ASP Solving | Automated Reasoning | Inductive logic programming | Logic programming | Logical reasoningOccupational health care | Relocation support | Social benefitsEntry-level Full TimeHelsinki, FI1mo ago