Skip to the content
What are you searching for?
Search
Geselecteerde taal:
EN
English
Nederlands
Sustainable
Circular and industrial construction
Circular and industrial construction
terug
Bio-based building materials
Building materials
Industrial and conceptual construction
Safe efficient care building
Safety of buildings
Asset lifecycle information management
Go to Circular and industrial construction
Earth observation
Earth observation
terug
TANGO satellite
TROPOMI
EarthCARE
Clear Air consortium
Sentinel-5
Go to Earth observation
Energy in the built environment
Energy in the built environment
terug
Accelerating towards a climate-neutral built environment
Energy storage
Heating and cooling systems
Monitoring installations, components, and energy
Greenhouse horticulture
Go to Energy in the built environment
Energy supply
Energy supply
terug
Solar applications
Sustainable solar panels
Solar device technology
Accelerating offshore wind farms
Energy systems transition
Go to Energy supply
Industry
Industry
terug
Circular feedstock processes
Carbon neutral industry
Sustainable materials
Energy infrastructure
Go to Industry
Infrastructure
Infrastructure
terug
Concrete structures
Wet infrastructure
Road structures
Go to Infrastructure
Liveable cities and regions
Liveable cities and regions
terug
Climate-adaptive cities and transport
Zero emission urban mobility
Mobility transition
Urban space
Go to Liveable cities and regions
Maritime and offshore
Maritime and offshore
terug
Offshore renewable energy production
Ship materials and structures
The transition to sustainable shipping
Go to Maritime and offshore
Mobility and logistics
Mobility and logistics
terug
Batteries
Energy management
Fuel cell
Hydrogen engines
Practical emission measurements
Sustainable logistics
Transition co2 neutral mobility 2050
Sustainable mobility
Go to Mobility and logistics
Subsurface
Subsurface
terug
Geo energy
Future-proof land use
Raw materials
Groundwater stewardship
Go to Subsurface
System solutions and environment
System solutions and environment
terug
Climate and air quality
Net zero energy solutions
Social innovation
Transition pathways
Go to System solutions and environment
Go to Sustainable
Healthy
Efficient drug development
Efficient drug development
terug
Preclinical ADME
Data driven drug discovery
Advanced microtracer studies
Translational preclinical efficacy models
Functional biomarkers
In-vitro platforms
Go to Efficient drug development
Health and lifestyle
Health and lifestyle
terug
Gut health
Food allergy risk assessment
Microbial safety and hygiene
Personalised lifestyle and resilience
Women's health
Go to Health and lifestyle
Digital health
Digital health
terug
Patient centric measurements and trials
Health data management and modelling
Health applications
Health and Work AI Lab
Health Innovation Venue for Enterprises
Go to Digital health
Youth health
Youth health
terug
First 1000 days
Resilient youth and parents
I-JGZ
Transformation, professionalisation and implementation
Personalised prevention and health
Youth: growing up healthy, safe, and with ample opportunities
Early metabolic health
Go to Youth health
Work health
Work health
terug
Inclusive work
Smart work
Labour market innovation
Work changes and wellbeing
Occupational exposome
Occupational safety innovation
Safe chemical innovation
Monitor and foresight
Healthy living environment
Healthy, safe and productive working
Skills
Go to Work health
Medical devices
Medical devices
terug
TOMCA: tissue-optical analysis of wearable medical sensors
IPUT® The Integrated Photonic Ultrasound Transducer
Go to Medical devices
Flexible and free-form products
Flexible and free-form products
terug
Our expertise in flexible and free-form products
3D printing for flexible production of personalised medicine
The future of 3D-printed food made possible
Go to Flexible and free-form products
Go to Healthy
Safe
Autonomous abilities
Autonomous abilities
terug
Robotica
Go to Autonomous abilities
Decisive decision making
Decisive decision making
terug
Adaptive learning architectures
Desdemona: The ultimate motion simulator
Effective, efficient and flexible armed forces
CARPET: computer-aided radar performance evaluation tool
Go to Decisive decision making
Integrated air and missile defence
Integrated air and missile defence
terug
Accurate geo-location with nanosatellites
PERSEUS wind turbine radar interference assessment tool
Military use of space
Go to Integrated air and missile defence
Integrated combat capabilities
Integrated combat capabilities
terug
Ammunition safety
Weapon systems
Go to Integrated combat capabilities
Maritime defence and security
Maritime defence and security
terug
Environmental effects of sonar
Low frequency active sonar
Ocean resilience and transparency
Signature management
Surface warfare
Go to Maritime defence and security
Social resilience
Social resilience
terug
Cyber and electronic warfare
Cyber risks and chain effects
Cyber security
Infrastructure protection and survivability
Intelligence
Law and investigation
Migration
National cyber resilience
Safe data sharing
Smart security and surveillance
Go to Social resilience
Surviving on the battlefield of the future
Surviving on the battlefield of the future
terug
BC-Protection
Countering explosive threats
Naval ship vulnerability and protection
Personal protection
Process safety and dangerous goods
Processing of propellants, explosives and pyrotechnics
Protection materials
Vehicle vulnerability and protection
Go to Surviving on the battlefield of the future
Go to Safe
Digital
Artificial intelligence
Artificial intelligence
terug
Artificial intelligence: from research to application
Responsible human machine interaction
Safe autonomous systems in an open world
Future-proof AI systems
Go to Artificial intelligence
Cybersecurity
Cybersecurity
terug
Automated security
Cyber security challenges and innovations
Cybersecure Energy Systems
Industrial Product Security
Post quantum crypto
Quantum computing
Secure Public Sector IT Systems
Security monitoring and detection
Software testing
Supply chain security
Go to Cybersecurity
Data sharing
Data sharing
terug
Data spaces in healthcare
Digital Product Passport
Digital twin systems
Generative AI
International data spaces
Poverty data insights
Privacy enhancing technologies
Rules as Code
Self-sovereign identity
Sustainable agriculture
Go to Data sharing
Digital infrastructures
Digital infrastructures
terug
5G
6G
Digital infrastructures
Smart society
Social XR (eXtended reality)
Go to Digital infrastructures
Digital systems
Digital systems
terug
Systems Engineering (ESI)
Digital Energy Systems
Go to Digital systems
Future electronics
Future electronics
terug
Hybrid printed electronics
Thin-film electronics
Go to Future electronics
Semicon and quantum
Semicon and quantum
terug
Metrology
Quantum technologies
Contamination control for semiconductor equipment
Microfluidics for high performance thermal management
Go to Semicon and quantum
Smart manufacturing
Smart manufacturing
terug
Scale up: manufacturing throughput and quality
Productivity: manufacturing variability
Strategic autonomy: digitalisation and value chain integration
Go to Smart manufacturing
Smart traffic and transport
Smart traffic and transport
terug
Automated logistics
Automated vehicle technology for public roads
Automated vehicle technology for yards
Connected mobility
Safety assessment of automated driving
Safe AV-human interaction
Self-organising logistics
Go to Smart traffic and transport
Space
Space
terug
Laser satellite communication
Ground-based astronomy
Space-based astronomy
Instrument realisation and verification
Go to Space
Go to Digital
Sectors
Careers
Vacancies
Expertise areas
Working at TNO
Working at TNO
terug
Terms and conditions of employment
Recruitment process
Career development
Go to Working at TNO
Professionals
Professionals
terug
Systems engineer
Scientist/researcher
Business developers
Project Managers
Consultants
Project Controllers
Staff and support
Go to Professionals
Interns and graduates
Interns and graduates
terug
TNO Traineeship
Talent development programme
Team Polar
Go to Interns and graduates
Employee stories
Go to Careers
More
Sectors
Careers
Vacancies
Expertise areas
Working at TNO
Professionals
Interns and graduates
Employee stories
Careers
Newsroom
Newsroom
News
Events
Webinars
Insights
Podcasts
Papers
Subscribe to our TNO Update
About TNO
About TNO
Mission and vision
Strategy
Organisation
Our people
Contact
TNO and society
Communities
Technology and science
Technology and science
Facilities
Research devices
Technologies
Exploratory research programmes
Patents and licenses
Repository TNO Publications
Collaboration
Collaboration
Projects on commission
Public-private
TNO Fast Track
TNO Ventures
Innovation centres
International
Geselecteerde taal:
EN
English
Nederlands
Skip navigation (subjects beneath theme Careers)
Directly to
Vacancies
Expertise areas
Working at TNO
Professionals
Interns and graduates
Employee stories
Back to navigation (subjects beneath theme Careers)
Home
Careers
Vacancies
Research Fellow Formal Methods | Eindhoven
Locatie:
Eindhoven
Opleidingsniveau:
Doctorate
Uren per week:
Fulltime – 40
Research Fellow Formal Methods | Eindhoven
Want to make your mark on our time? Become a Research Fellow Formal Methods at TNO in Eindhoven!
#LI-YP1
