Emplois actuels liés à PhD Position in Programming Languages - Leuven - KU Leuven


  • Leuven, Belgique KU Leuven Temps plein

    You are a recently graduated Master in Psychology or Research Master (in one of the Behavioural or Social Sciences) or you will graduate no later than September 2024. You have graduated or expect to graduate with excellent grades.You have a proven interest, and are strongly motivated to obtain a PhD, in the field of experimental social psychology, and...


  • Leuven, Belgique KU Leuven Temps plein

    You share strong interest in design and manufacturing, and you have:MSc in Mechanical engineering. Computer science or Mechatronics (or equivalent)some experience (courses/projects) with programming (C++ or python)any prior experience with CNC machine tools is beneficial but not mandatoryaffinity for both model based (physical models) and machine learning...


  • Leuven, Belgique VIB Temps plein

    The VIB Center for AI & Computational Biology (VIB.AI) and KU Leuven are searching for **two Principal Investigators **to join their faculty (Group Leader at VIB, Professor at KU Leuven, in tenure track for junior faculty). We are particularly interested in recruiting faculty members who use and develop **artificial intelligence** methods and mechanistic...


  • Leuven, Belgique KU Leuven Temps plein

    A PhD in bioinformatics, computational biology, or a related field.Extensive experience in bioinformatics analysis, including statistical and computational approaches.Programming skills in R, Python, Matlab, or similar languages.A strong interest in immunology and experience with large-scale data analysis.Experience with machine learning approaches is an...


  • Leuven, Belgique KU Leuven Temps plein

    We expect from applicants:an excellent Master degree in Computer Science or related disciplinestrong programming skills the ability to do independent researcha good background and interest in human-computer interaction research: this is a strong requirementstrong commitment and the ability to work in a teama high level of proficiency in English, both spoken...


  • Leuven, Belgique KU Leuven Temps plein

    If you are highly motivated researchers in the areas of Chemical Engineering with passion in separation technology for sustainability, you are strongly encouraged to enquire and apply.Profile required:Requirement: Master's degree in Chemical Engineering or in relevant disciplines, with first class honour / high distinction.Strong interest and solid...


  • Leuven, Belgique KU Leuven Temps plein

    Required qualifications:To have a Master degree at the start of the project (1 Jan 2025) in Engineering, Earth - or Environmental Science, Climatology or related field (physics, bioscience engineering, geography, meteorology, oceanography, mathematics, informatics, economy etc.);To have experience in computational programming;To have demonstrated verbal and...


  • Leuven, Belgique KU Leuven Temps plein

    Master's degree (or equivalent) in Geology, Earth Sciences, Archaeological Sciences, or equivalent,Experience in inorganic archaeological materials analysis,Proficiency in analytical techniques such as ICP-MS or electron microscopy is a bonus,Excellent analytical and problem-solving skills, with a passion for archaeology.The laboratory for archaeometry is...


  • Leuven, Belgique Katholieke Universiteit Leuven - Faculty of Economics and Business Temps plein

    **Duties**: - Research_ You are an ambitious, internationally oriented researcher in the domain of Finance. You publish in international top journals within the field, attract external research funding, develop international research projects, and advise doctoral students. You strive for excellence in research and as such contribute to the reputation of the...


  • Leuven, Belgique Katholieke Universiteit Leuven - Faculty of Economics and Business Temps plein

    **Duties**: - Research_ You are an ambitious, internationally oriented researcher in the domain of Operations Management or in a related domain (e.g., Supply Chain Management, Operations Research). You publish in international peer-reviewed top journals within the field, attract external research funding, develop international research projects, and advise...


  • Leuven, Belgique KU Leuven Temps plein

    We are looking for highly motivated, enthusiastic and communicative researchers with a Master of Science degree in Engineering or a related field, from a reputable institute. You should have obtained excellent study results. Candidates should have a strong interest in energy, and especially in energy system operation and planning, as well as energy markets,...


  • Leuven, Belgique KU Leuven Temps plein

    Msc in data science-adjacent fields (biostatistics, bioinformatics, computer science, bioengineering, biotechnology).Background:Implementation, training and benchmarking of deep neural networks (PyTorch experience is a plus) .Experience in molecular biology is a plusExperience in single-cell transcriptomics analysis is a plusExperience with communication to...


  • Leuven, Belgique KU Leuven Temps plein

    Master’s degree in Engineering Technology, Computer Science, Biomedical Engineering, Health Technology (or equivalent)Strong computer programming skills, experience in working with game engines such as Unity is considered a strong assetA creative mind and a talent to create playful interactive systems, experience in designing, implementing and user-testing...


  • Leuven, Belgique UZ Leuven Temps plein

    **Context**: The fulltime position is financed by UZ Leuven strategic funding. **What your job entails**: - You will join an international team of bioinformaticians, laboratory technicians and support staff for the development of analysis tools for NGS data, in order to realize the transition to clinical use through research. We work on whole genome...


  • Leuven, Belgique KU Leuven Temps plein

    Our team is recruiting a highly motivated PhD candidate, who has a strong interest in material characterization, bioprinting and skeletal tissue regeneration. We are looking for a PhD student with the following requirements:You hold a master’s degree in engineering, bioscience engineering or equivalent and graduated with distinction.You are a team-player...


  • Leuven, Belgique KU Leuven Temps plein

    You have a master’s degree in social or biomedical sciences such as sexology, psychology, health sciences, medicine, neuroscience, or another relevant field. Your academic record is strong and exemplary. You have experience or affinity with working with minority groups (e.g., ethnic-cultural minorities, LGBTIQ+). You are proficient in and/or have excellent...


  • Leuven, Belgique VIB Temps plein

    **About the Lab**: **Profile**: - A PhD degree in bioinformatics, computational biology, human microbiota, microbiology or other relevant areas and/or comparable expertise (e.g from industry). - Demonstrated expertise in omics data analysis, for example with (meta)genomics, transcriptomics, proteomics, metabolomics, single cell and/or genotyping data....


  • Leuven, Belgique VIB Temps plein

    **Job description**: This is a starting lab, meaning the postdoc will get significant hands-on time with brand-new mass spectrometers and other cutting-edge equipment, and will play a prominent leadership role in shaping the lab environment. The postdoc should be open to working in interdisciplinary collaborations to broaden their scientific network and...


  • Leuven, Belgique VIB Temps plein

    **Job description**: This is a starting lab, meaning the postdoc will get significant hands-on time with brand-new mass spectrometers and other cutting-edge equipment, and will play a prominent leadership role in shaping the lab environment. The postdoc should be open to working in interdisciplinary collaborations to broaden their scientific network and...


  • Leuven, Belgique KU Leuven Temps plein

    You have a master degree and, preferably, a bachelor degree in political science or history and you have excellent study results (at least cum laude).You have knowledge and experience in research methods and techniques (quantitative as well as qualitative) in social sciences and/or you are willing to learn or develop further skills in these research methods...

PhD Position in Programming Languages

Il y a 2 mois


Leuven, Belgique KU Leuven Temps plein
You are currently or in the near future the holder of a master degree in computer science or similar. You have an excellent academic track record. You have a demonstrated interest in programming languages and programming language theory. Ideally you are knowledgable in several of the following areas: functional programming, Haskell, calculi/type systems/operational semantics, category theory, proof assistants/mechanisation. You like to combine theoretical work and practical programming.You have a good spoken and written command of the English language.Do include evidence of the above in your application file.

Developer productivity and software performance are two key properties of software development that are hard to achieve simultaneously. The former requires rich layers of abstraction and highly reusable, context independent code. In contrast, the latter aims at code without generic overhead or indirections that is highly specialized. General-purpose optimized compilation can automatically improve the performance of high-level programs, but is still far from optimal. Much more promising are code generation techniques that can be employed in "active libraries" to offer high-level programming interfaces, and exploit knowledge of the problem domain and of the code structure to generated highly tuned code. Standard code-generation techniques (e.g., templates in C++) can be quite error-prone and hard to debug. Multi-stage programming promises to considerably lower the threshold by providing strong static guarantees with respect to well-scopedness and well-typedness at the level of the generators. This project aims to advance the state-of-the-art of multi-stage programming. In particular, we aim to develop the interaction between staging and computational effects. While most existing effort has targeted effect-free code, side-effects are essential for functionality and/or performance in most applications. We take a foundational approach, developing a formal calculus for multi-staging with support for algebraic effects and handlers, complemented by practical case studies.

You will join the team of prof. Tom Schrijvers, which has a proven track record in programming language research, covering a range of different topics together with many international partners: functional programming, Haskell, domain-specific languages, type systems, programming language meta-theory, computational effects (monads, algebraic effects), equational reasoning and program calculation, etc. The team of prof. Schrijvers is part of the Declarative Languages and Artificial Intelligence section of the KU Leuven Department of Computer Science.

We offer:

A PhD scholarship with a competitive monthly stipend. The contract is renewable yearly for up to 4 years.An exciting interdisciplinary research environment at KU Leuven, Europe s most innovative university;The possibility to attend international summer schools, participate in international conferences and collaborate with our international partners.