Postdoc Category Theory, Computer Proof Assistants and Computer Algebra Systems

Job description

Computer proof assistants and computer algebra systems have complementary strengths. A proof assistant checks each step of a mathematical argument against a formal foundation, but is not designed for computation; a computer algebra system computes efficiently with large and intricate algebraic structures, but its results depend on code that has not been formally verified. Category theory is a good place to connect the two. CAP (Categories, Algorithms, Programming) is a software system for computational category theory, implemented in GAP and part of the homalg project. Because it expresses categorical constructions directly as algorithms, it is a suitable target for formalisation. The aim of the project is to bring the two kinds of system together, so that categorical computations can be carried out with the efficiency of a computer algebra system and checked with the guarantees of a proof assistant.

The postdoctoral researcher will design and build this connection between a proof assistant — Rocq, Lean or Agda, to be decided at the start of the project — and CAP. The work is partly conceptual and partly practical: making the categorical doctrines underlying CAP precise enough to formalise, choosing a formal treatment that is faithful to the constructive content of CAP's algorithms, and implementing the result as documented, openly available software. The researcher will publish the results, present them at conferences and workshops, and contribute to the open-source libraries of both projects. There is room to shape the direction of the work according to their own interests and expertise, and to develop their own research agenda alongside it.

The position is based in the Programming Languages group, Department of Software Technology, at TU Delft, where the researcher will work with Benedikt Ahrens, and in collaboration with Mohamed Barakat at Universität Siegen, with regular exchange between the two groups. This connects the researcher to both of the relevant communities: formalisation and univalent foundations in Delft, computational category theory and the homalg/CAP ecosystem in Siegen. The role also includes contributing to the supervision of BSc and MSc students working on related projects, and possibly some classroom teaching.

Job requirements
Applications will be evaluated on the following criteria:

• PhD (awarded by the start date, or submitted with a defence scheduled) in mathematics, computer science, or a closely related field
• Research experience in at least one of: interactive theorem proving/formalisation, computer algebra, or category theory — demonstrated by publications, a thesis, or a substantial software contribution
• Demonstrable interest in the other two, and willingness to learn them to working depth
• Practical programming ability and comfort working with a substantial existing codebase
• Ability to work independently and to collaborate across the maths/CS boundary; good written and spoken English
• Experience in, and willingness to contribute to, student supervision and teaching

TU Delft (Delft University of Technology)
Delft University of Technology is built on strong foundations. As creators of the world-famous Dutch waterworks and pioneers in biotech, TU Delft is a top international university combining science, engineering and design. It delivers world class results in education, research and innovation to address challenges in the areas of energy, climate, mobility, health and digital society. For generations, our engineers have proven to be entrepreneurial problem-solvers, both in business and in a social context.

At TU Delft we embrace diversity as one of our core values and we actively engage to be a university where you feel at home and can flourish. We value different perspectives and qualities. We believe this makes our work more innovative, the TU Delft community more vibrant and the world more just. Together, we imagine, invent and create solutions using technology to have a positive impact on a global scale. That is why we invite you to apply. Your application will receive fair consideration.

Challenge. Change. Impact!

Faculty of Electrical Engineering, Mathematics and Computer Science
The Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) brings together three scientific disciplines. Combined, they reinforce each other and are the driving force behind the technology we all use in our daily lives. Technology such as the electricity grid, which our faculty is helping to make completely sustainable and future-proof. At the same time, we are developing the chips and sensors of the future, whilst also setting the foundations for the software technologies to run on this new generation of equipment – which of course includes AI. Meanwhile we are pushing the limits of applied mathematics, for example mapping out disease processes using single cell data, and using mathematics to simulate gigantic ash plumes after a volcanic eruption. In other words: there is plenty of room at the faculty for ground-breaking research. We educate innovative engineers and have excellent labs and facilities that underline our strong international position. In total, more than 1000 employees and 4,000 students work and study in this innovative environment.

Click here to go to the website of the Faculty of Electrical Engineering, Mathematics and Computer Science.

Senior GL Accountant met wagen

• Je verzorgt de maand- en jaarafsluitingen en volgt de afsluiting van de resultaten op.
• Je voert de analytische boekhouding en verwerkt diverse financiële en loonboekingen.
• Je staat in voor btw-aangiftes, reconciliaties en de maandelijkse controle van balansposten.
• Je bereidt rapporteringen, analyses, jaarrekeningen en audits mee voor.
• Je ondersteunt bij statistische aangiftes en werkt mee aan consolidatieprocessen.

Procesmanager Omgevingsplan

De gemeente IJsselstein staat voor de taak om in 2032 een gebied dekkend Omgevingsplan te hebben. Om dit te realiseren wordt een procesmanager gezocht om dit proces te trekken.

De totstandkoming en wijziging van het omgevingsplan raakt aan veel verschillende onderwerpen én mensen binnen de gemeente. Juristen, planologen, geo- en milieuspecialisten enz. werken eraan, maar lang niet altijd zijn zij degenen die de bestuurlijke of strategische lijnen uitzetten. Tegelijkertijd moeten alle onderdelen van het omgevingsplan goed op elkaar afgestemd zijn. Want het plan moet juridisch kloppen, helder zijn voor initiatiefnemers en werkbaar in het digitale stelsel. Het vraagt om een nieuwe intensievere samenwerking door de organisatie heen op juridisch, technisch en inhoudelijk vlak. En wat de 1 doet, heeft effect op de ander. Dat vraagt om coördinatie.

Bij coördinatie van het omgevingsplan zorg je op tactisch of operationeel niveau voor afstemming tussen alle afzonderlijke wijzigingsbesluiten, zowel procesmatig als inhoudelijk. Het gaat bij coördinatie van het omgevingsplan dus niet alleen over het aanpassen van juridische teksten. Het gaat juist over het verbinden van processen, mensen en keuzes binnen de hele gemeentelijke organisatie.

De procesmanager houdt overzicht over alle wijzigingsbesluiten en de samenhang daartussen. Dat betekent (taakomschrijving):

• Op tactisch en operationeel niveau zorgen dat inhoud, proces, planning en techniek goed op elkaar aansluiten;
• Vroegtijdig signaleren waar keuzes of afstemming nodig zijn;
• Bijdragen aan een lerende aanpak waarin ruimte is om te experimenteren en bij te sturen.

Het is belangrijk om hier bij de invulling van het proces oog voor te hebben en de ruimte te bieden om al doende te leren.

Het doel is om in 2032 te komen tot een gebied dekkend Omgevingsplan.

PostDoc on Targeted Proteomics for Protein Biomarker Standardization

Introduction
Are you eager to translate cutting-edge targeted proteomics into standardized protein biomarker measurements for clinical diagnostics? Join an interdisciplinary academic-clinical-industry collaboration developing robust LC-MS/MS reference methods for lung cancer tumor markers.

Job Description
The challenge
Protein tumor markers can support minimally invasive lung cancer diagnostics, but results from current immunoassays vary between platforms and laboratories. You will help close this standardization gap by developing and validating targeted mass-spectrometry workflows and reference measurement procedures for clinically relevant protein biomarkers, including CEA, NSE and CYFRA21-1.

Your role
You will conduct hands-on research in quantitative targeted proteomics, with emphasis on immunoaffinity enrichment, bottom-up LC-MS/MS and SISCAPA-based workflows. You will select and evaluate signature peptides, establish calibration strategies using stable-isotope-labelled standards, characterize reference proteins and peptides, and assess sensitivity, selectivity, recovery, matrix effects, precision, accuracy and robustness. You will compare candidate reference methods with commercial immunoassays and contribute to analysis of serum and pleural-fluid samples.

You will integrate activities across connected projects that aim to create a transferable platform for reference measurement procedures and materials for complex protein biomarkers. You will plan experiments, maintain high-quality and reproducible documentation, analyze and interpret quantitative data, prepare scientific publications and presentations, and contribute to method transfer, standard operating procedures and project reporting.

Research environment and collaboration
The position is embedded in the Laboratory of Chemical Biology, Department of Biomedical Engineering at Eindhoven University of Technology (TU/e), and in the regional Expertise Center Clinical Chemistry Eindhoven. You will work closely with researchers and clinical chemists at TU/e, Catharina Hospital and Máxima Medical Center, and with diagnostic and technology partners including Roche Diagnostics and SISCAPA Assay Technologies. You will also collaborate with PhD students and supervise Master and Bachelor students.

Expected impact
Your work will advance metrologically traceable and comparable protein biomarker measurements, support harmonization of tumor-marker testing across clinical laboratories, and establish methods that can be extended to biomarkers beyond lung cancer.

Job Requirements

• A PhD in analytical chemistry, proteomics, biochemistry, chemical biology, clinical chemistry, biomedical engineering, or a closely related field.
• Demonstrable hands-on research experience in (targeted quantitative) proteomics, LC-MS/MS bioanalysis and/or quantitative protein biomarker analysis.
• Experience with triple-quadrupole mass spectrometry and quantitative acquisition strategies such as MRM/SRM or PRM.
• Experience with protein and peptide sample preparation, enzymatic digestion, immunoaffinity enrichment and/or stable-isotope-labelled internal standards. Experience with SISCAPA, automated liquid handling, protein engineering or recombinant protein production is an advantage.
• Sound knowledge of analytical method development and validation, including calibration, sensitivity, selectivity, precision, accuracy, recovery, matrix effects, robustness, quality control and measurement uncertainty.
• Ability to conduct high-quality independent research, demonstrated through publications or other substantial research outputs.
• Strong quantitative and problem-solving skills, careful experimental practice.
• Ability to manage complex work packages, prioritize activities and deliver results on schedule.
• A collaborative and proactive working style, with the ability to communicate effectively across academic, clinical and industrial disciplines and to support junior researchers.
• Excellent written and spoken English. Knowledge of Dutch is not required, but willingness to collaborate effectively with Dutch clinical and academic environments is expected.

Conditions of Employment
A meaningful job in a dynamic and ambitious university, in an interdisciplinary setting and within an international network. You will work on a beautiful, green campus within walking distance of the central train station.

In addition, we offer you:

• Full-time employment for 2 years.
• Salary in accordance with the Collective Labour Agreement for Dutch Universities, scale 10, ranging from € 4,422 (step 4) to € 5,760 gross base salary per month (full-time).
• In addition to your base salary, you will receive an 8% holiday allowance and an 8.3% year-end bonus, both calculated based on your annual gross base salary.
• Generous leave options: a standard 29 days (based on a 38 hour working week) per year that you can increase to 41 days by working two hours more per week (flexible working hours). This is prorated if you work part-time.
• As a TU/e employee, you participate in the ABP pension scheme, providing retirement pension and pension benefits for surviving dependents and occupational disability. TU/e pays 70% of the pension premium, while employees contribute the remaining 30%.
• High-quality training programs on general skills, didactics and topics related to research and valorization.
• An excellent technical infrastructure, and on-campus children's day care.
• Unlimited access to the modern on‑campus TU/e Student Sports Center at an exceptionally affordable rate.
• We support your wellbeing with free 24/7 access to OpenUp, providing you and your family with mental health support, expert guidance, and online training.
• Partially paid parental leave and an allowance for commuting, working from home and internet costs.
• A TU/e Postdoc Association that helps you to build a stronger and broader academic and personal network, and offers tailored support, training and workshops.
• A Staff Immigration Team is available for international candidates, as are a tax compensation scheme (the Expat Scheme) and a compensation for moving expenses.

On our website you can discover even more information about our conditions of employment. Build on your career at TU/e!

About us
We are a leading international university where scientific curiosity meets a hands-on mindset. We work in an open and collaborative way with high-tech industries to tackle complex societal challenges. Our responsible and respectful approach ensures impact — today and in the future. TU/e is home to over 13,000 students and more than 7,000 staff, forming a diverse and vibrant academic community. Discover what Light Up means to TU/e in our short company video.

Our university is located in Brainport Eindhoven — a world‑leading tech region with more than 7,000 high‑tech companies and strong R&D activity. Known for breakthroughs in AI, photonics, semiconductors and advanced manufacturing, Brainport is a place where technology serves people and society. Learn more about the Brainport region here.

The Department of Biomedical Engineering offers top-level education and research in one of the most relevant and exciting scientific disciplines of the 21st century: engineering health. In combining engineering and life sciences, through challenge-based learning and a multidisciplinary approach in collaboration with hospitals, industry and others, the department addresses the great challenges of the future, striving to improve healthcare and society as a whole.

Information
Do you recognize yourself in this profile and would you like to know more? Please contact the hiring manager Luc Brunsveld, Professor of Chemical Biology, l.brunsveld@tue.nl or +31 40 2472870.

Visit our website for more information about the application process. You can also contact HRServices.bme@tue.nl.

Are you inspired and would like to know more about working at TU/e? Please visit our career page.

Application
We invite you to submit a complete application using the apply-button. The application should include a:

• Cover letter in which you describe your motivation and qualifications for the position.
• Curriculum vitae, including a list of your publications and the contact information of three references. Kindly note that we may reach out to references at any stage of the recruitment process. We recommend notifying your references upon submitting your application.
• List of up to five self-selected ‘best publications’.

Ensure that you submit all the requested application documents. Please note that incomplete applications may not be considered and could be rejected.

We look forward to receiving your application and will screen it as soon as possible. The vacancy will remain open until the position is filled.

Please note

• You can apply online. We will not process applications sent by email and/or post.
• A pre-employment screening (e.g. knowledge security check) can be part of the selection procedure. For more information on the knowledge security check, please consult the National Knowledge Security Guidelines.
• Please do not contact us for unsolicited services.

Senior Accountant met bedrijfswagen (FT-4/5)

• Je werkt nauw samen met de collega's van finance en divisies (Financial controller, CFO,...)
• Je bent verantwoordelijk voor de kwartaal- en jaarafsluitingen met controle van externe partners.
• Je bent verantwoordelijk voor de controle van facturen met betrekking tot de btw en de correcte opmaak en indiening van de btw-aangiftes.
• Je verwerkt en boekt financiële transacties nauwkeurig en tijdig in.
• Je ondersteunt je collega's binnen het finance team en draagt actief bij aan een efficiënte samenwerking en een vlotte werking van de financiële afdeling.