I am adept at designing and analysing algorithms for combinatorially hard problems; analysing and implementing advanced AI techniques for automated planning in multi-agent systems and using formal methods to mathematically specify, develop and verify software systems using theorem provers. Some of my minor practical skills are in, design and analysis of systems of interconnected computing devices, design and analysis of cryptographic solutions and designing arithmetic processors based on given specifications.
I am looking for a senior full time position in Copenhagen, Denmark, that either deals with frontend/ full stack development and/or design (UXD) using the latest web (and design) technologies or one in science and research that requires my skills in algorithm design and analysis, AI and multi-agent systems and apply formal methods to systems using automated theorem provers. I am open to working in the finance sector as well. Additionally, I am looking for peer programming sessions and all kinds of opportunities that help me learn new tech. and hone my skills.