Huidige banen gerelateerd aan Postdoc in Structures and Homotopy in Optimisation - Leiden, Zuid-Holland - Universiteit Leiden


  • Leiden, Zuid-Holland, Nederland Universiteit Leiden Voltijd

    Job Title: Postdoc on Causal Machine Learning for Spatio-temporal DatasetsThe Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are seeking a highly skilled Postdoc researcher to join a project focused on developing an advanced machine learning framework for spatio-temporal datasets.Job Description:We are looking for an...


  • Leiden, Zuid-Holland, Nederland Aethon Voltijd

    About the Role:As a Senior Software Developer, you will be responsible for designing, developing, and maintaining software applications using Python and C++. Your primary focus will be on building scalable and efficient back-end systems using algorithms and data structures. You will work closely with cross-functional teams to ensure seamless integration with...


  • Leiden, Zuid-Holland, Nederland Pharming Group Voltijd

    About the Role:The Manager Compensation & Benefits will develop, implement, evaluate, and update the compensation and benefits strategy and tools in line with the people strategy and company culture to ensure Pharming is able to attract and retain the best candidates.Key Responsibilities:Develop, implement, and update the Job & Salary Architecture in line...


  • Leiden, Zuid-Holland, Nederland Leiden Bio Science Park Voltijd

    We are offering a contract for a period of one year, with the possibility of extension for two more years, and a monthly salary between € 3,641.- and € 4,731.-, depending on relevant experience. The position includes an allowance for travel expenses, holiday allowance (8%), and year-end bonus (3.4%).The working atmosphere at Naturalis Biodiversity Center...


  • Leiden, Zuid-Holland, Nederland Pharming Group Voltijd

    About Pharming GroupPharming Group is a global biopharmaceutical company dedicated to transforming the lives of patients with rare, debilitating, and life-threatening diseases. Our innovative portfolio of protein replacement therapies and precision medicines is in early to late-stage development, with a focus on self-development of our people, teamwork,...


  • Leiden, Zuid-Holland, Nederland Pharming Group Voltijd

    About Pharming GroupPharming Group is a global biopharmaceutical company dedicated to transforming the lives of patients with rare, debilitating, and life-threatening diseases. Our innovative portfolio of protein replacement therapies and precision medicines is in early to late-stage development, with a focus on self-development of our people, teamwork,...

  • Software Engineer

    4 dagen geleden


    Leiden, Zuid-Holland, Nederland WerkTalent Voltijd

    Job Description:As a Backend Developer, you will be responsible for designing, developing, and implementing scalable and efficient software systems. Your primary focus will be on building robust and secure APIs, data processing pipelines, and microservices architecture. You will collaborate with cross-functional teams to ensure seamless integration and...


  • Leiden, Zuid-Holland, Nederland Horeca Groep Leiden Voltijd

    Software Engineer OpportunityWe are seeking an experienced software engineer to join our team. As a software engineer at our company, you will be responsible for designing, developing, and maintaining software solutions that meet our clients' needs.Design and develop scalable software solutions using cloud-based infrastructureCollaborate with...


  • Leiden, Zuid-Holland, Nederland YER Voltijd

    Job Title: Backend DeveloperWe are seeking a skilled Backend Developer to join our team at {company}. As a key member of our development team, you will be responsible for designing, developing, and maintaining scalable and efficient back-end systems.Responsibilities:* Design and develop back-end systems using Python and relevant frameworks* Collaborate with...

  • Senior Software Engineer

    4 dagen geleden


    Leiden, Zuid-Holland, Nederland Swift Voltijd

    **About the Job**We are seeking an experienced Backend Developer to join our team at {company}.The ideal candidate will have a strong background in Python and experience with backend development.Key Responsibilities:Design and implement scalable backend systems using Python and frameworks.Collaborate with cross-functional teams to identify and prioritize...


  • Leiden, Zuid-Holland, Nederland Pharming Group Voltijd

    About Pharming GroupPharming Group is a global biopharmaceutical company dedicated to transforming the lives of patients with rare, debilitating, and life-threatening diseases. Our innovative portfolio of protein replacement therapies and precision medicines are in early to late-stage development, with a focus on self-development of our people, teamwork,...


  • Leiden, Zuid-Holland, Nederland Pharming Group Voltijd

    About Pharming GroupPharming Group is a global biopharmaceutical company dedicated to transforming the lives of patients with rare, debilitating, and life-threatening diseases. Our innovative portfolio of protein replacement therapies and precision medicines is in early to late-stage development. We are headquartered in Leiden, Netherlands, and serve...

  • Offshore Installation Engineer

    2 maanden geleden


    Leiden, Zuid-Holland, Nederland HEEREMA MARINE CONTRACTORS Voltijd

    Is this the right opportunity for you? Essential qualifications for success: A Bachelor’s or Master’s degree in Civil Engineering, Maritime Engineering, or Mechanical Engineering At least 7 years of experience in engineering, project planning, and execution of offshore initiatives Your future colleagues: Become part of a team where leadership...


  • Leiden, Zuid-Holland, Nederland HEEREMA MARINE CONTRACTORS Voltijd

    Is this the right opportunity for you? Essential qualifications for success: A degree in Marine Engineering, Naval Architecture, or Offshore Engineering, or equivalent professional experience; A minimum of 5 years in conceptual and preliminary design of offshore vessels, including compliance verification; A solid understanding of the factors...


  • Leiden, Zuid-Holland, Nederland Pharming Group Voltijd

    About Pharming GroupPharming Group is a global biopharmaceutical company dedicated to transforming the lives of patients with rare, debilitating, and life-threatening diseases. Our innovative portfolio of protein replacement therapies and precision medicines is in early to late-stage development, with a focus on self-development of our people, teamwork,...

  • Offshore Installation Engineer

    2 maanden geleden


    Leiden, Zuid-Holland, Nederland HEEREMA MARINE CONTRACTORS Voltijd

    Is this the right opportunity for you? Essential qualifications for success: A Bachelor’s or Master’s degree in Civil Engineering, Maritime Engineering, or Mechanical Engineering At least 7 years of experience in engineering, project planning, and execution of offshore operations Your future colleagues: Become part of a team where...

  • Senior PHP Developer

    2 maanden geleden


    Leiden, Zuid-Holland, Nederland HSD Campus Voltijd

    About the RoleWe are seeking a highly skilled Senior PHP Developer to join our team at HSD Campus. As a key member of our development team, you will be responsible for designing, developing, and securing advanced web applications.Key ResponsibilitiesDesign and develop complex web applications using PHP and MVC frameworks.Identify and fix security...

  • Offshore Installation Engineer

    2 maanden geleden


    Leiden, Zuid-Holland, Nederland HEEREMA MARINE CONTRACTORS Voltijd

    Is this the role for you? Essential qualifications for success: A Bachelor’s or Master’s degree in Civil, Maritime, or Mechanical Engineering At least 7 years of experience in engineering, project planning, and execution of offshore initiatives Your future colleagues: Become part of a team where leadership and mentoring skills are...

  • Offshore Installation Engineer

    2 maanden geleden


    Leiden, Zuid-Holland, Nederland HEEREMA MARINE CONTRACTORS Voltijd

    Is this the right opportunity for you? Essential qualifications for success: A Bachelor’s or Master’s degree in Civil, Maritime, or Mechanical Engineering At least 7 years of expertise in engineering, project planning, and execution of offshore initiatives Your future teammates: Become part of a group where leadership and mentoring abilities...


  • Leiden, Zuid-Holland, Nederland HEEREMA MARINE CONTRACTORS Voltijd

    Is this the right opportunity for you? Essential qualifications for success: A degree in Marine Technology, Naval Architecture, or Offshore Engineering, or equivalent professional experience; A minimum of 5 years in conceptual and basic design development for offshore vessels, including compliance verification; A solid understanding of the factors...

Postdoc in Structures and Homotopy in Optimisation

3 maanden geleden


Leiden, Zuid-Holland, Nederland Universiteit Leiden Voltijd

The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for:

Postdoc on Logic, Structures and Homotopy in Optimisation

The Theory cluster at the Leiden Institute of Advanced Computer Science (LIACS) is seeking candidates for a postdoc (1.0 FTE) position, working on category theoretical abstractions of optimisation theory and algorithms, and on higher categories for homotopy optimisation.

Optimisation is central to modern computing, but conventional representations with explicit indices and the focus on individual tensors, functions, etc. hinders the understanding fundamental aspects of optimisation processes. The aim of this project is to develop abstract and compositional reasoning techniques for properties of optimisation processes using category theory, and to advance the homotopy optimisation method using higher category theory. Homotopy optimisation can be used to find more efficient optimisation algorithms, to couple optimisation with experimental and other parameters to avoid convergence to local minima or learning of paths between optima. This is an exciting direction in optimisation, which crucially needs structural techniques to further its development. We aim to begin the project in October 2024.

Your Profile

If you find this project interesting, then please consider applying if you think that you fit the following. Ideally, you either have a strong background in optimisation algorithms and their mathematical underpinnings in terms of vector spaces, manifolds, etc., and would be willing to learn about structural methods from category theory, homotopy theory and higher category theory. Alternatively, you have a strong background in (higher) category theory and homotopy theory, combined with some understanding of algorithms and the willingness to dive into the subleties of optimisation algorithms. Your profile should be witnessed by an appropriate academic track record.

Moreover, you

  • hold a PhD degree in a relevant area (Computer Science or Mathematics);
  • have a strong publication record;
  • are able to collaborate with scientific peers inside and outside your own research area;
  • like challenging research that may break new grounds by bringing together previously unconnected areas;
  • have an academic, creative, and open mindset;
  • have a good to excellent proficiency in English;
  • either live and are officially registered as resident in The Netherlands, or are willing to relocate upon starting the position;
  • can start working on the project in October 2024, although an earlier starting time is definitely possible and a later start may be agreed upon in consultation.

    Key responsibilities

    Within this position it is expected that you will

    • conduct research within the scope of the project and publish in relevant academic venues and journals;
    • collaborate closely with both the Semantics, Types and Logic group of Henning Basold in the Theory cluster, and the Optimization and Learning group of Hao Wang in the Natural Computing cluster at LIACS;
    • co-supervise BSc, MSc and PhD students;
    • engage in activities of the group, cluster, and the institute.

      Research at LIACS

      The Leiden Faculty of Science is a world-class faculty where staff and students work together in a dynamic international environment. Our people are driven by curiosity to expand fundamental knowledge and to look beyond the borders of their own discipline. The research carried out at the Faculty of Science is diverse, ranging from artificial intelligence, computer science, mathematics, astronomy, physics, chemistry, and bio-pharmaceutical sciences to biology and environmental sciences. The faculty has grown strongly in recent years and now has more than 1,300 staff and almost 4,000 students. We are located at the heart of one of Europe's biggest bio-science parks, where university and business life come together.

      The Leiden Institute of Advanced Computer Science (LIACS) is the Artificial Intelligence and Computer Science Institute of the Faculty of Science of Leiden University. We offer courses at the Bachelor and Master of Science level in the core areas of Artificial Intelligence, Computer Science, and Data Science, and in the interdisciplinary areas of Business, Creative Intelligence, and Bioinformatics. We are a highly international place to do research, committed to excellence in a supportive and inclusive environment. We value fun, inclusivity, openness, and teamwork, ensuring that excellence and enjoyment go hand in hand. At LIACS, we balance teaching and research, offering a clear and inviting career path for young and talented scientists with the ambition to grow.

      Terms and conditions

      We offer a full-time position as postdoctoral researcher commensurate with your level of experience, initially for one year. After a positive evaluation of the progress of the research and personal compatibility, the appointment can be extended further to two more years. The salary ranges, depending on qualifications and experience, from from € 3.226,- to € 5.090,- gross per month following the pay scale 10 in accordance with the Collective Labour Agreement for Dutch Universities.

      Leiden University offers an attractive benefits package with additional holiday (8%) and end-of-year bonuses (8.3 %), training and career development, and sabbatical leave. Our individual choices model gives you some freedom to assemble your own set of terms and conditions. For international spouses, we have set up a dual career program. Candidates from outside the Netherlands may be eligible for a substantial tax break.

      Diversity and inclusivity

      Fostering an inclusive community is a central element of the values and vision of Leiden University. Leiden University is committed to becoming an inclusive community that enables all students and staff to feel valued and respected and to develop their full potential. Diversity in experiences and perspectives enriches our teaching and strengthens our research. High-quality teaching and research are inclusive.