Logo of EURAXESS Job offer - JOB - Netherlands - Delft University of Technology via AcademicTransfer - Posted on: 2 June 2026 2 Jun 2026 Delft University of Technology (TU Delft) Research Field Computer science » Informatics Computer science » Programming Researcher Profile Recognised Researcher (R2) Application Deadline 1 Jul 2026 - 21:59 (UTC) Country Netherlands Type of Contract Temporary Job Status Not Applicable Hours Per Week 40.0 Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? Job description Software is at the core of modern society - from communication networks and financial systems to medical devices and transport infrastructure - and ensuring that it behaves correctly is both essential and notoriously difficult. Proof assistants such as Agda and Rocq (formerly Coq) make it possible to construct mathematically rigorous, machine-checked guarantees about software behaviour, but applying them to programs written in mainstream languages remains a significant challenge. This is especially true for software that exhibits cyclic behaviour: programs with loops, recursive data, or continuous interaction with their environment, which require a careful interplay of inductive and coinductive reasoning to verify. In this postdoc position, you will work at the intersection of proof assistants and modern systems programming. Your central task is to design and prototype a way to verify Rust programs - and in particular programs with cyclic structures - by translating them, together with logical annotations supplied by the developer, into a proof assistant where their correctness can be machine-checked. The aim is not to build yet another verification tool from scratch, but to make state-of-the-art research on inductive-coinductive type theory genuinely usable for Rust developers. You will work clos...

Untitled 3 01 Onze doelgroep bestaat uit zowel kind&jeugd als volwassenen die - ondanks hun psychische klachten - niet structureel vastlopen op meerdere levensgebieden. De problematiek die zij ervaren kan complex en hardnekkig zijn. Toch zien we dat deze cliënten ook beschikken over een 'gezonde kant'. Dankzij deze veerkracht en het behouden functioneren binnen bepaalde levensdomeinen, komt het proces van inzicht en verandering vaak relatief snel op gang. Behandelingstrajecten duren gemiddeld zo rond de 20 sessies, met uitschieters naar boven en beneden, afhankelijk van wat nodig is. Wie zoeken wij? We zoeken GZ-psychologen met ervaring in: - EMDR - Schematherapie - Cognitieve gedragstherapie (CGT) - Systemisch werken Wat bieden wij? - Een professionele werkomgeving met ruimte voor gezelligheid - Ruimte om je eigen stijl en expertise in te zetten - Flexibele uren (in overleg) - Betrokken collega's en ruimte voor intervisie Lijkt het je wat om samen te bouwen aan een praktijk waar menselijkheid en kwaliteit voorop staan? Stuur ons een berichtje, we gaan graag met je in gesprek! Afspraak maken info@psychologenpraktijkbeleef.nl Waar zitten wij Wij zijn gevestigd aan de Rijnstraat 495F 5215 EJ Den Bosch

Unique - - - uur - - - - - uur - - - - Logistiek medewerker bijbaan Locatie Als logistiek medewerker ondersteun je het logistieke proces binnen het magazijn in Kampen. Samen met ruim 200 collega's verzamel en verwerk je bestellingen met behulp van een voice picking systeem en een elektrische pompwagen (EPT). Deze functie is ideaal als bijbaan naast je studie of als flexibele (avond)baan.Wat je gaat doen: - Orders verzamelen met een voice picking systeem; - Producten verplaatsen met een elektrische pompwagen (EPT); - Het magazijn netjes, veilig en overzichtelijk houden; - Bijdragen aan een soepel en efficiënt logistiek proces; - Samenwerken met collega's om de dagelijkse doelen te behalen. Je start met een trainingsprogramma van 2 weken waarin je wordt opgeleid tot zelfstandig orderpicker. Daarna kun je doorgroeien naar functies zoals Inbound Medewerker, Controlemedewerker, Operator of Reachtruckchauffeur. Je werkt op woensdag-, donderdag- en vrijdagavond van 14:45 tot 23:30 uur. Start je nog met een studie? Dan kun je ook vanaf 18:00 uur beginnen. Wat bieden we jou - Flexibele avonduren, goed te combineren met studie; - 2 weken training tot zelfstandig orderpicker; - Reiskostenvergoeding van €0,23 per km vanaf 10 km; - Doorgroeimogelijkheden binnen het magazijn; - Personeelskortingen; - Regelmatig leuke personeels- en teamactiviteiten; - Uitzicht op een vast contract bij goed functioneren. Functie-eisen We zoeken een enthousiaste logistiek medewerker die graag de handen uit de mouwen steekt. Daarnaast herken je jezelf in de volgende punten: - Je bent minimaal 17 jaar oud; - Je beheerst de Nederlandse taal; - Je bent beschikbaar op woensdag-, donderdag- en vrijdagavond; - Je bent minimaal 4 uur per avond beschikbaar; - Je woont binnen circa 45 minuten van Kampen; - Je werkt nauwkeurig en bent een echte teamspeler; - Ervaring in de logistiek is mooi meegenomen, maar niet verplicht. Over het bedrijf Je...

Vacature sluit op 2 juli 2026 GEPLAATST OP 2 JUNI 2026 Loading Operator Bij Bunge werken we wereldwijd aan duurzame en veilige voedselketens. Als een van de grootste agrifoodbedrijven ter wereld zorgen we ervoor dat grondstoffen efficiënt worden verwerkt en gedistribueerd. In Botlek spelen onze logistieke operaties daarin een sleutelrol. Opleiding Mbo Ervaring Medior Amsterdam Dienstverband Vast Bunge Lees over werkgever Vestiging(en) Coenhavenweg 2 1013 BL, Amsterdam Beroepen Operator Sector Overig Jouw rol Voor onze locatie zijn wij op zoek naar een Loading Operator die energie krijgt van een dynamische werkomgeving en verantwoordelijkheid neemt voor veilige en efficiënte laad- en losprocessen. Als Loading Operator ben je verantwoordelijk voor het voorbereiden, coördineren en uitvoeren van laad- en losactiviteiten. Jij zorgt ervoor dat alles veilig, netjes en volgens de juiste procedures verloopt, met oog voor kwaliteit en voedselveiligheid. Wat ga je doen? Operations & Proces - Laden en lossen van grondstoffen, eindproducten, chemicaliën en afvalstromen - Werken volgens geldende procedures en kwaliteitsnormen - Ondersteunen bij de verwerking van afvalstromen - Invullen van controle- en schoonmaaklijsten (FFS) - Opstellen en actualiseren van werkinstructies - Administratief verwerken van laad- en losdocumentatie - Fungeren als aanspreekpunt bij laad- en loswerkzaamheden (trucks, treinen, heftruck) Veiligheid & Kwaliteit (QSHE) - Werken volgens veiligheidsrichtlijnen en deze actief naleven - Signaleren en stoppen van onveilige situaties - Bijdragen aan een veilige werkomgeving voor collega's en contractors - Actief meewerken aan QSHE- en food safety standaarden Samenwerking - Nauw samenwerken met Operations en de logistieke afdeling - Zorg dragen voor duidelijke communicatie binnen het team Wat breng je mee? - MBO werk- en denkniveau (bij voorkeur Process Operator A) - Ervaring met het laden en lossen van tr...

Customer Service Medewerker Ede, Gelderland Fulltime Heb jij altijd graag in de levensmiddelindustrie willen werken? Wil jij je blijven (door)ontwikkelen en processen verbeteren? Vind jij het leuk om voor onze klanten de optimale belevering te verzorgen en heb je talent voor het bewaren van overzicht? Ben jij daarbij nauwkeurig, collegiaal en flexibel ingesteld? Dan ben jij de nieuwe collega die we zoeken! Orange Wat doe je als Customer Service Medewerker bij Riedel? In deze veelzijdige functie is geen dag hetzelfde. Samen met je collega's ben je verantwoordelijk voor het volledige Order-to-Cash proces voor onze retailklanten. Je stelt de klant centraal, maar weet daarbij altijd de juiste balans te bewaren met de belangen van de interne organisatie. Als echte spin in het web schakel je moeiteloos tussen klanten, externe transporteurs en interne afdelingen zoals sales, marketing, supply planning en het distributiecentrum. Dagelijks onderhoud je contact met klanten over orders, de voortgang van promoties en uiteenlopende logistieke vraagstukken. Daarnaast heb je oog voor kostenbeheersing binnen de keten en draag je actief bij aan een efficiënte Supply Chain door logistieke afspraken en voorwaarden zorgvuldig te bewaken. Je bent het eerste aanspreekpunt voor zowel onze interne als externe klanten en zorgt ervoor dat zij snel en correct worden geholpen. De Customer Service afdeling vormt een essentiële schakel binnen onze organisatie en jij levert daarin een actieve bijdrage. Je werkt in een dynamische en levendige werkomgeving, waarin samenwerken en schakelen centraal staan. Daarnaast monitor en rapporteer je op verschillende KPI's, zoals servicelevel en picking, en neem je actief deel aan het S&OP-proces om de dienstverlening en prestaties continu te optimaliseren. Jij bent een echte teamspeler en hebt de wil om samen met anderen een prestatie neer te zetten. Daarnaast heb je een hoge mate van eigenaarschap, werk je proactie...

Logo Vebego - Waar voel jij je thuis? Ontdek waar jouw talent het beste tot zijn recht komt. Bij ons draait alles om samen groeien, doen en impact maken. Of je nu houdt van binnen óf buiten werken, mensen verbinden of plannen tot leven brengen-er is altijd een plek waar jij het verschil kunt maken. - Een plek voor iedereen Bij Vebego geloven we in kansen voor iedereen. Samen bouwen we aan werk dat ertoe doet - voor jou, voor ons, voor de wereld. - VZSNL Hospital Cleaning Bed Bouw aan je toekomst Ontdek hoe je jouw talent kunt ontwikkelen bij Vebego. Groei door opleidingen, begeleiding en echte doorgroeikansen. Klaar voor werk dat bij jou past? Glazenwasser | 30 uur per week | Ma t/m vrij | Designer Outlet Roermond - Roermond - 30 uur - €15,52 - €17,05 per uur Wij zijn Vebego Cleaning Services, een familiebedrijf met 80 jaar ervaring! Kom jij het team in de Designer Outlet Roermond versterken als glazenwasser? Je werkt van maandag t/m vrijdag, van 06:30 - 13:00 uur. Dit ga je doen De Designer Outlet in Roermond staat bekend om haar mooie locatie en winkels waarbij bezoekers een unieke ervaring hebben. Jij zorgt ervoor dat de winkelende mensen onbezorgd kunnen genieten van een dagje uit op een van de mooiste winkellocaties in Limburg. Jij houdt je bezig met glasbewassing en springt indien nodig ook bij als er hulp nodig is bij andere schoonmaaktaken, zoals bijvoorbeeld het schrobben van vloeren. Je houdt ervan om lekker buiten te werken, weer of geen weer! Dit bieden we jou - Salaris: Een bruto uurloon van €15,52 - €17,05 (Cao Schoonmaak- en Glazenwassersbedrijf) - Contract: Een tijdelijk contract van 7 maanden met uitzicht op een vast contract - Eindejaarsbonus: Een bonus van 5% (na een 6 maanden in dienst) - Vakantie: 8% vakantiegeld, 25 vakantiedagen bij een fulltime dienstverband en een extra vrije dag op je verjaardag - Extra's: Mooie Bedrijfskleding, de beste schoonmaakmiddelen, een goede pensioenregeling...

Personal Assistant to the Managing Director (G6) The Common Fund for Commodities (CFC) is an international financial institution established within the United Nations ecosystem, currently comprising 101 Member States. With poverty alleviation as its core mission, the CFC operates as an impact investment institution dedicated to reducing commodity dependence and strengthening commodity value chains in developing countries. Based in Amsterdam since 1989, the CFC has been instrumental in mobilizing over USD 1 billion in investments benefiting Small and Medium Enterprises (SMEs) and smallholder farmers, while serving as a bridge between developed and developing economies. Building on this foundation, the organization is expanding its reach through the development of additional investment vehicles and partnerships with public, multilateral, and private-sector stakeholders, while continuing to pursue its core development mandate. The Office of the Managing Director occupies a unique position within the organization. The Managing Director is elected through a highly competitive international process by Member States and holds a rank equivalent to that of a United Nations Under-Secretary-General. As such, the incumbent of the Personal Assistant position will be expected to support and safeguard the dignity, integrity, and effective functioning of the Office of the Managing Director at all times. The CFC is seeking a Personal Assistant to the Managing Director to provide high-level administrative, organizational, and coordination support to the Managing Director. This role is responsible for overseeing the overall functioning of the Managing Director's Office, with a strong focus on managing correspondence, calendars, and travel arrangements; supporting governance processes for the Consultative Committee (CC), Executive Board (EB), and Governing Council (GC); and ensuring effective follow-up across the organization and with external stake...

Voor komend seizoen zoeken wij trainers die willen bijdragen aan de ontwikkeling van talentvolle jeugdspelers binnen een ambitieuze en groeiende jeugdopleiding. De JO13-1 beschikt over een zeer talentvolle spelersgroep, waaronder meerdere talentvolle O12-spelers. Daarom zoeken wij bij voorkeur een trainer die zich voor minimaal twee seizoenen aan dit team wil verbinden, zodat er een stabiele ontwikkelomgeving ontstaat voor deze lichting. Wat bieden wij?✅ Passende trainersvergoeding Werken binnen een ambitieuze jeugdopleiding met veel talent Wij zoeken een trainer die: * Minimaal in het bezit is van VC2 / UEFA C * Affiniteit heeft met jeugdontwikkeling * Enthousiast, communicatief vaardig en betrouwbaar is * Zelfstandig kan werken en openstaat voor samenwerking binnen de jeugdopleiding * Beschikbaar is op trainings- en wedstrijddagen Trainingstijden * Dinsdag: 18:30 uur * Donderdag: 18:30 uur * Wedstrijden/coaching op zaterdag Heb jij interesse om onderdeel te worden van de jeugdopleiding van Rksv DCG Amsterdam? Neem contact op via hjo@rksv-dcg.nl Voetbalshop.nl

Logo Koen - Wmo-consulent gemeente Emmeloord Gepubliceerd 30 april 2026 job-id V-084832 - WMO - HBO Bachelor - € 3.489 - Emmeloord - 36 uur per week Wmo-consulent gemeente Emmeloord - Gemeentes - HBO Bachelor - Emmeloord - 36 uur per week - Wat wij bieden - ben jij het - Waar jij werkt - Wat wij bieden - ben jij het - Waar jij werkt Wat jij doet Als Wmo-consulent ondersteun je inwoners die hulp nodig hebben om zelfstandig te blijven functioneren in hun dagelijkse leven. Je gaat in gesprek, onderzoekt de situatie en kijkt samen naar passende oplossingen. Via detachering werk je bij verschillende gemeenten. Hierdoor kom je in diverse werkomgevingen terecht en doe je brede ervaring op binnen het sociaal domein. Dit zorgt voor afwisseling én de mogelijkheid om jezelf verder te ontwikkelen. Je bent het aanspreekpunt voor inwoners met vragen over ondersteuning, hulpmiddelen en voorzieningen. Met jouw analytisch vermogen en inlevingsvermogen weet je snel de juiste vertaalslag te maken naar passende hulp. dit is werken bij koen - een vast contract en alle voordelen van in loondienst werken - uitdagende opdrachten bij afwisselende opdrachtgevers - veel ontwikkelkansen zoals opleidingen, trainingen en kennissessies Wat wij bieden - Een goed salaris; - Direct een vast contract; - Uitdagende opdrachten die aansluiten bij je kennis en ambities; - Mogelijkheid tot een leaseauto die je ook privé mag rijden; - Een eindejaarsuitkering als je onder de CAO werkt; - Uitstekende secundaire arbeidsvoorwaarden zoals 100% doorbetaling bij geen opdracht en verzuim, 25 vakantiedagen, eventueel ATV dagen; - Een persoonlijk opleidingsbudget van € 1.250,- per jaar en 3 trainingen in de koen academy; - Krijg je een vast contract, dan kan je een e-bike, mountainbike, bakfiets of andere fiets leasen; - Leuke uitjes en kennissessies om ervaringen uit te wisselen met vakcollega's; - Een groot netwerk waar je jouw hele carrière profijt van hebt...

Image mark Heftruckchauffeur warehouse | 2-ploegen Locatie Genemuiden Werktijden 38 uur Salaris € 3064 p/m Werk jij graag op de heftruck en houd je van een magazijn waar alles goed geregeld is? Voor een productiebedrijf in Genemuiden zoeken wij een ervaren heftruckchauffeur voor de 2-ploegendienst. In deze functie ben je verantwoordelijk voor het interne transport, de voorraad en een veilig en overzichtelijk magazijn. Je ontvangt een salaris van €3.064 bruto per maand inclusief ploegentoeslag en hebt uitzicht op een vast contract. Wat ga je doen? Als heftruckchauffeur ben jij verantwoordelijk voor je eigen magazijn. Je hebt dan ook een essentiële rol in het magazijn. Jij zorgt ervoor dat goederen veilig en efficiënt worden verplaatst, opgeslagen en verzonden. Jouw werkzaamheden zijn onder andere: - Het ontvangen en opslaan van goederen - Verplaatsen van goederen met de heftruck of ander transportmiddel - Controleren van de voorraad en signaleert afwijkingen - Zorgen voor een schoon, veilig en georganiseerd magazijn - Kleine onderhoudswerkzaamheden uitvoeren aan transportmiddelen - Storingen en technische gebreken melden bij je leidinggevende Je werkt in 2-ploegendienst. Je werktijden zijn de ene week maandag t/m donderdag van 6.00u -15.00u en op vrijdag van 6.00u - 14.30u De andere week werk je maandag t/m donderdag van 15.00u - 00.00u en ben je op vrijdag vrij. Wat bieden we jou? - Salaris van 3064,- bruto per maand (inclusief 14,6% ploegentoeslag) - Reiskosten €0,23 per km - Een baan in 2-ploegendienst voor 38u per week - Wekelijkse uitbetaling van je salaris - Warx medewerkers sporten gratis in onze eigen gym - Een baan voor langere tijd met de kans op een vast contract Wat vragen we van jou? - Je hebt werkervaring als heftruckchauffeur - Je bent in het bezit van een geldig heftruckcertificaat - Je kunt omgaan met een computer - Je beheerst de Nederlandse taal uitstekend - Je werkt zelfstandig en je bent proactief -...