Current jobs related to Formal Methods and Programming Languages Specialist - Copenhagen, Copenhagen - PARETO SECURITIES AS
-
Copenhagen, Copenhagen, Denmark PARETO SECURITIES AS Full timeJob DescriptionWe are looking for a talented individual with a strong background in formal methods, programming languages, or distributed systems to contribute to the development of probabilistic session types. The successful candidate will have a Master's degree or equivalent in Computer Science, Mathematics, or a closely related field, and experience with...
-
Method Validation Specialist
2 days ago
Copenhagen, Copenhagen, Denmark AGC Biologics Full timeAt AGC Biologics, we are committed to continuous innovation and fostering technical creativity to solve our clients' most complex challenges. We are seeking a talented Method Validation Specialist to join our team in QC Chemistry.This role involves driving PhI/II and PhIII/Commercial method validation activities, reviewing release and stability analytical...
-
Copenhagen, Copenhagen, Denmark Københavns Universitet Full timeAs a postdoctoral researcher in NLP for historical texts, you will be responsible for developing and implementing NLP methodologies to analyze and interpret historical documents. You will work closely with historians, computational linguists, and digital humanities researchers to ensure the successful integration of NLP methods into historical research. Your...
-
Copenhagen, Copenhagen, Denmark Københavns Universitet Full timeAbout the PositionThe Department of Computer Science at the University of Copenhagen invites applications for a Senior Research Professor position in Software Engineering. The successful candidate will be part of a rapidly growing department with strong research sections in algorithms and complexity, machine learning, natural language processing,...
-
Telehealth Behavioral Specialist
4 days ago
Copenhagen, Copenhagen, Denmark Intellect Full timeAbout This OpportunityAs a Telehealth Behavioral Specialist, you will provide one-on-one coaching for Intellect's clients, focusing on non-clinical cases such as work stress, procrastination, work-life balance, etc. You will support clients in achieving personal, career, or relationship goals and collaborate with our internal clinical team to continuously...
-
English Language Educator
4 hours ago
Copenhagen, Copenhagen, Denmark English Language and Literature Full timeCompany OverviewEnglish Language and Literature is an e-learning platform dedicated to helping non-native speakers achieve fluency in English.We primarily serve individuals across Europe, but our reach extends globally. Our focus is on providing personalized courses and native-level instructors to help learners overcome language barriers and seize new...
-
Tutor for English Language and Literature
8 minutes ago
Copenhagen, Copenhagen, Denmark English Language and Literature Full timeJob DescriptionThis role involves teaching English through exciting, interactive methods, helping students master reading, writing, speaking, and listening skills.You will create captivating videos, tasks, and resources that spark curiosity and make learning irresistible.Daily WhatsApp chats will be initiated with fun, thought-provoking questions that get...
-
2025 Global Private Bank
6 days ago
Copenhagen, Copenhagen, Denmark J.P. Morgan Full time2025 Global Private Bank - Advisor Analyst Training Program - Copenhagen Overview If you enjoy building relationships and helping develop innovative solutions while working in a fast-paced environment, then we have the role for you. Our advisors help clients achieve their financial goals by delivering the right solutions and services across our...
-
Customer Care Specialist, Nordic Languages
5 days ago
Copenhagen, Copenhagen, Denmark Medtronic plc Full timeJob OverviewWe are seeking a highly skilled Customer Care Specialist, Nordic Languages to join our team in Copenhagen, Denmark. As a key member of our Customer Care Front Office, you will play a vital role in delivering exceptional customer service to our internal and external stakeholders.Your primary responsibility will be to monitor and update orders,...
-
Senior Cyber Security Specialist Lead
19 hours ago
Copenhagen, Copenhagen, Denmark Hays Specialist Recruitment Full timeJob Title: Senior Cyber Security Specialist LeadWe are seeking an experienced Senior Cyber Security Specialist Lead to lead our efforts in developing and implementing robust cyber security solutions for our clients.About the JobThis role requires a strong understanding of security architectures and systems in IT and OT environments.You will be responsible...
-
Copenhagen, Copenhagen, Denmark Sony Corporation Full timeWe are seeking a highly skilled and enthusiastic Norwegian language speaker to join our team as a Student Support Specialist.About the RoleThis is an exciting opportunity to support the growth and development of our Online Brand Activation department, working closely with local marketing teams to create engaging digital content for the Norwegian market.In...
-
Icelandic Language Support Specialist
3 days ago
Copenhagen, Copenhagen, Denmark Boozt Group Full timeThe Boozt Group is looking for an experienced Icelandic Language Support Specialist to join our team. As a key member of our customer service department, you will play a critical role in providing exceptional support to our Icelandic-speaking customers.Your responsibilities will include responding to customer inquiries, resolving issues, and providing...
-
Biotechnology Specialist
5 days ago
Copenhagen, Copenhagen, Denmark AGC Biologics Full timeAs a Biotechnology Specialist, you will be responsible for driving PhI/II and PhIII/Commercial method validation activities, reviewing release and stability analytical set-ups, supporting lab technicians, authoring SOPs, and running Lab Investigations, Deviations/CAPAs, and CR cases. You will thrive in an international environment where teamwork and...
-
Data Science Specialist
6 days ago
Copenhagen, Copenhagen, Denmark Spa 23 Fitness and Lifestyle Full timeAbout the JobWe are seeking a highly motivated and experienced Associate Professor in Statistics to join our dynamic team at the Department of Mathematical Sciences. The successful candidate will contribute to advancing research and education in statistics, collaborating with colleagues across various disciplines.Your Key ResponsibilitiesAdvance Research in...
-
Copenhagen, Copenhagen, Denmark Københavns Universitet Full timeThe University uses third-party technologies to register user behaviour on the website (statistics) to keep improving our service. The University also uses third-party technologies to promote degree programmes, courses, conferences and exhibitions on websites and social media to show you the most relevant offers. Tenure-track Assistant Professor, Associate...
-
Youth Entrepreneurship Program Coordinator
6 days ago
Copenhagen, Copenhagen, Denmark GAME Denmark Full timeAbout the PositionWe are seeking a dynamic and experienced Project Coordinator to join our team in Amman, Jordan. The successful candidate will be responsible for coordinating and facilitating GAME's entrepreneurship activities and approaches in the field of youth entrepreneurship in Jordan.The position is open to Jordanian nationals and foreigners and will...
-
Copenhagen, Copenhagen, Denmark Milestone Systems Full timeThis role offers a unique opportunity to shape the direction of our Human-Centered AI mission and strategy by leveraging expertise in Natural Language Processing. As an NLP strategist, you will collaborate with our Emerging Products team to explore novel applications of generative AI, driving innovation and product development.About the JobWe are seeking a...
-
Copenhagen Financial Advisor
6 days ago
Copenhagen, Copenhagen, Denmark J.P. Morgan Full timeJob SummaryCareer Opportunities in Global Private BankWe are seeking highly motivated and driven individuals to join our Advisor Training Program. As an Advisor Analyst Trainee, you will have the opportunity to work with a team of bankers, investment specialists, wealth advisors, and lending specialists. This role offers ongoing formal and informal training...
-
Genetic Regulation Specialist
3 days ago
Copenhagen, Copenhagen, Denmark Københavns Universitet Full timeThe Novo Nordisk Foundation Center for Basic Metabolic Research (CBMR) at the University of Copenhagen is seeking a highly motivated Postdoctoral Research Fellow to join the Hansen Group. The successful candidate will work on a project that integrates high-throughput mass spectrometry-based plasma proteomics data with electronic health registry data, along...
-
Copenhagen, Copenhagen, Denmark Københavns Universitet (KU) Full timeTenure-track Assistant Professor, Associate Professor or Full Professor in Systems and Software Engineering Department of Computer Science Faculty of Science University of Copenhagen The Department of Computer Science at the University of Copenhagen invites applications for a Tenure-track Assistant Professor, Associate Professor or Full Professorin Systems...
Formal Methods and Programming Languages Specialist
1 week ago
Company Overview
The IT University of Copenhagen is a leading institution in the field of information technology and digital innovation. Our mission is to educate and inspire the next generation of leaders in IT and digital transformation, while driving cutting-edge research that solves real-world problems.
We strive to create a collaborative and inclusive environment that fosters creativity, innovation, and entrepreneurship. Our campus is designed to facilitate interaction and collaboration among students, faculty, and industry partners, with state-of-the-art facilities and resources available to support your success.
We offer a range of programs and courses that cover everything from introductory classes in computer science and software engineering to advanced topics in artificial intelligence, cybersecurity, and data science. Whether you're interested in pursuing a bachelor's or master's degree, or simply looking to upskill or reskill in a specific area, we have a program that can help you achieve your goals.
About the Position
We are seeking a highly motivated researcher to join our team as a PhD position in the PROBABILIST project. The successful candidate will contribute to advancing the theory and practice of probabilistic session types, a formal framework for reasoning about correctness, reliability, and expressiveness in distributed systems with probabilistic behaviour.
The PROBABILIST project aims to develop a foundational approach to probabilistic session types, supporting rigorous analysis of properties relevant to concurrent systems with probabilistic behaviour. We seek a candidate with a strong background in formal methods, programming languages, and distributed systems, and experience with proof assistants, type systems, or model checking is an advantage.
The successful candidate will join the Programming, Logic, and Semantics (PLS) research group at the IT University of Copenhagen, a dynamic research team focusing on programming languages, distributed systems, and verification. The project provides opportunities to engage with international researchers and partners.
