PostDoc in Certified Combinatorial Optimization
il y a 1 mois
Such a candidate would be responsible for the development of formally verified version of the proof checkers in the CertiFOX projectProfile 2: a candidate with strong expertise in combinatorial optimization algorithms (e.g., SAT solving, constraint solving, MaxSAT,
SAT modulo theories, Answer Set Programming, (Mixed) Integer Programming, ...).The field of combinatorial optimization is concerned with developing generic tools that take a declarative problem description andautomatically compute an optimal solution to it. Often, users specify their problem in a high-level, human-understandable formal language.This specification is first translated into a low-level specification a solver understands and subsequently solved. Thanks to tremendousprogress in solving technology, we can now solve a wide variety of NP-hard (or worse) problems in practice. Moreover, these tools areincreasingly used in real-life applications, including high-value and life-affecting decisions. Therefore, it is of utmost importance that they becompletely reliable. The central objective of the CertiFOX project is to develop methodologies and tools with which we can guarantee with 100%certainty that the right problem has been solved correctly.To achieve this ambitious objective, we will build on recent breakthroughs in proof logging, where solvers do not just output an answer,but also a machine-verifiable proof (or certificate) of correctness. However, a major limitation of current techniques is that correctness isnot proven relative to the human-understandable specification written by the user, but relative to the low-level translation that the solverreceives, meaning that there is no guarantee that the solver is solving the original problem. In this project, we will investigate end-to endguarantees of correctness. When successful, this will have a major impact on the way combinatorial optimization software is developed,evaluated, and used: the proofs produced will enable (1) debugging, since proofs contain detailed information about where bugs occurred,(2) auditability, since proofs can be stored and checked by an independent third party, and even (3) rigorous evaluation of algorithmicimprovements.The successful candidate will perform research that advances the state-of-the-art in proof logging in general, and in particular focus onbringing proof logging to human-understandable language. More information on the research topic can be found on the project website [5].The selected candidate is in this context expected to take up some mentoring responsibilities towards PhD students and MSc studentsworking on the project.We are looking for an excellent researcher to strengthen Bart Bogaerts' research group on Knowledge Representation and CombinatorialOptimization, which is part of the Declarative Languages and Artificial Intelligence (DTAI) section of the department of Computer Science of KU Leuven.We are particularly looking for someone who can strengthen the recently-launched research line on proof logging (also known as certifyingalgorithms) for combinatorial optimization, and in particular the CertiFOX project. In this line of project, the goal is to develop methods and algorithms that can guarantee with 100% certainty that the answers produced by a combinatorial optimizer are correct. The project page (see the link below) contains more information on this research direction. We offer a fully-funded postdoc position, initially for 12 months, but renewable and with expected duration of two or three years.The position comes with a competitive salary (academic salaries in Belgium are very competitive) or an equivalent scholarship, as well as with travel budget.This is a pure research position, but it also comes with the possibility to participate in advanced teaching (while this is encouraged, it is not mandatory).The start is foreseen to be around the summer of 2025, but this is negotiable.
-
Postdoc in Microbial Metabolomics and Microbiology
Il y a 3 mois
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...
-
Postdoc in Protein Computational Biology
Il y a 2 mois
Leuven, Belgique VIB Temps plein**Job description**: We are seeking a postdoc to join the Pereira Lab for an interdisciplinary project that integrates structural bioinformatics, protein evolution, complex network analysis, and deep learning. The main aim is to develop interdisciplinary and integrative tools and approaches to better interpret the massive and ever-growing protein sequence,...
-
Postdoc in Protein Computational Biology
Il y a 3 mois
Leuven, Belgique VIB Temps plein**Job description**: We are seeking a postdoc to join the Pereira Lab for an interdisciplinary project that integrates structural bioinformatics, protein evolution, complex network analysis, and deep learning. The main aim is to develop interdisciplinary and integrative tools and approaches to better interpret the massive and ever-growing protein sequence,...
-
Postdoc in Microbial Metabolomics and Microbiology
Il y a 2 mois
Leuven, Belgique VIB Temps plein**Job description**: The project’s scope can be flexibly tailored to suit the postdoc’s interests and future goals. 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...
-
Postdoc in Carbon Fixation Mediated By Marine
Il y a 2 mois
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...
-
Postdoc in Carbon Fixation Mediated By Marine
Il y a 3 mois
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...
-
Postdoc Novel Metals
il y a 2 jours
Leuven, Belgique IMEC Inc. Temps pleinPostdoc Novel Metals- Research & development - Leuven | Just now- What you will doIn today’s microelectronic devices, metals are ubiquitous as conductors in interconnects, gates, and contacts. Their performance critically impacts the device properties, both in terms of power consumption as well as performance. A key property of metals is their...
-
Research Associate Iii
Il y a 6 mois
Leuven, Belgique Brewer Science, Inc. Temps plein**Summary**: Designs and conducts laboratory experiments, analyses, and processes to support research and development projects. **Responsibilities**: - Takes ownership of research and development projects as assigned, and participates in the transfer through the Brewer Product Development process. - Designs and conducts experiments including synthesis,...
-
Design Technology Co-optimization Researcher
Il y a 4 mois
Leuven, Belgique IMEC Inc. Temps pleinEngineering - Leuven | Just now- As a design-technology co-optimization (DTCO) researcher, you will explore and define the technology for sub-nm devices at the cell level through process - and layout-aware modeling and benchmarking.- What you will doIn this position, you will be part of the imec department leading pathfinding of next generations...
-
Java Backend Developer
il y a 2 jours
Leuven, Belgique Faros Temps plein**Java Backend Developer**: - Leuven, Geel, Brussels **Your foundations**: - You have mínimal 3 years of relevant work experience as a **Java Backend Developer**: - Your are highly motivated, still eager to share your experiences and you’ll never stop learning - Strong experiences with object oriented programming - Strong experiences with Java,...
-
Student Intern
Il y a 7 mois
Leuven, Belgique Brewer Science, Inc. Temps plein**Summary**: Conducts laboratory analyses, experiments, and processes to support research and development projects. **Responsibilities**: - Performs sample preparation - Conducts routine experiments and process data for routine work under supervision. - Knowledge and understanding of safety and housekeeping standards and practiced in daily activities. -...
-
Postdoctoral position in hydrometallurgical processing
il y a 1 mois
Leuven, Belgique KU Leuven Temps pleinAs the ideal candidate:You have obtained a PhD degree in chemical engineering, applied chemistry or relevant disciplineYou have a strong background and hands-on experience in either of the following: - electrochemical hydrometallurgy (electrochemical kinetics, electrochemical methods) - preparation and testing of battery electrodes - mechanochemistry in...
-
Leuven, Belgique KU Leuven Temps pleinA 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...
-
Imec Tenure Track
Il y a 4 mois
Leuven, Belgique IMEC Inc. Temps pleinResearch & development - Leuven | Just now- Are you imec's next moonshot PI? Build out an impactful research theme with your own research team!- What you will doTake your research career to the next level with our tenure track position! Convince us with your innovative research idea, linked to one of the imec expertise domains and get the unique opportunity...
-
Design to Technology Co-optimization Program Manager
Il y a 3 mois
Leuven, Belgique IMEC Inc. Temps pleinResearch & development - Leuven | Just now- As the Design to Technology Co-Optimization (DTCO) Program Manager, you will be responsible for the technical and operational management of the DTCO R&D Program.- What you will do- You will be responsible to lead the team technically and operationally, promoting interactions and innovations. Your open...
-
Phd Position in The Role of Tdp-43 Aggregation in
il y a 2 jours
Leuven, Belgique Neuro-Electronics Research Flanders (NERF) Temps plein**Topic**: TDP-43 aggregation is the major hallmark of nearly all amyotrophic lateral sclerosis (ALS) forms and half of frontotemporal dementia (FTD) cases. Two leading labs are teaming up and combining their expertise to decipher the molecular underpinnings of TDP-43 aggregation. The Da Cruz lab has innovative cellular systems that recapitulate human TDP-43...
-
Postdoc in Cancer therapy resistance and RNA Medicine
il y a 2 semaines
Leuven, Belgique KU Leuven Temps pleinWe are looking for a motivated postdoctoral researcher to work on lncRNAs in translational regulation and cancer therapy resistance.The ideal candidate has the following qualifications:PhD in biochemistry/biotechnology, biomedical sciences, cell biology, bio-engineering, or related disciplinesA strong expertise in cancer biology.Experience with in vivo...
-
Erc-funded Bioinformatics Postdoc: Unravelling The
il y a 1 mois
Leuven, Belgique VIB Temps plein**Who we are**: The lab for Systems Biology of Kevin Verstrepen is a research team at the VIB-KU Leuven Center for Microbiology. Our team focuses on genomics, genetics, epigenetics, transcriptomics and evolution, using yeast as a model. We combine wet lab and computational research to investigate how biological systems work and evolve and use this knowledge...
-
Management Assistant
Il y a 3 mois
Leuven, Belgique VIB Temps pleinHet VIB-KU Leuven Center for Cancer Biology (CCB) is één van de onderzoekscentra van het Vlaams Instituut voor Biotechnologie (VIB) gevestigd aan de KU Leuven (Campus Gasthuisberg). Vandaag zijn er binnen het CCB 14 onderzoeksgroepen actief met in totaal een tewerkstelling van rond de 250 medewerkers. Aan het hoofd van elke van deze onderzoeksgroepen...
-
IC Package Development Engineer
Il y a 6 mois
Leuven, Belgique imec Temps plein/IC Package Development Engineer IC Package Development Engineer Engineering - Leuven | Just now As an IC Package Design Engineer, your task is to optimize the design of an integrated circuit (IC) package to enhance its performance and reliability. You will be working on a project that involves designing a package and simulations/analysis for very...
