Post-doc on formal verification and algorithm discovery for numerical analysis

EPFL; Lausanne; Vor Ort; CHF 90.000 - 120.000; Vollzeit

Benefits dieser Stelle

1+1 year contract

International environment

Competitive salary

Zusammenfassung

EPFL in Lausanne, Switzerland, invites applications for a postdoctoral researcher to advance topology optimization of architected materials using fast simulation methods. The project FLASh integrates domain decomposition, reduced order modeling, and isogeometric analysis within a vibrant research group.

You will lead the design and implementation of innovative numerical algorithms, collaborate across disciplines, mentor students, and contribute to grant activities while publishing in top

Qualifikationen

• PhD (or near completion) in mathematics, computational mechanics, engineering, or a related field.
• Strong background in topology optimization (SIMP, level set, or related design-for-manufacturing frameworks).
• Experience with numerical PDEs: finite element methods, immersed/unfitted methods, homogenization, or isogeometric analysis.

Aufgaben

• Lead research on topology optimization methods for architected materials.
• Develop, implement, and maintain in-house simulation and topology optimization software.
• Publish results in leading journals; present at national and international conferences.
• Mentor PhD and Master students and contribute to teaching activities.
• Assist in the preparation of grant proposals and project reports.

Kenntnisse

Topology optimization

Python

FEniCS

C++

HPC

Finite elements

Isogeometric analysis

Ausbildung

PhD in relevant field

Tools

FEniCS

Isogeometric analysis

Jobbeschreibung

About Us And Our Project

The Chair of Numerical Modelling and Simulation at EPFL is dedicated to the design and analysis of numerical algorithms for partial differential equations. Our research is oriented towards the development of novel and innovative numerical techniques aiming at improving the integration between numerical simulations and geometric modelling and processing.

Within the project «FLASh: Fast simulation tools for LAttice Structures», funded by the Swiss National Science Foundation, we are opening a postdoctoral position for developing efficient algorithms for the topology optimization of architected materials using finite element technique.

What You Will Do

As a postdoc in our group, you will lead research on the design and implementation of mathematically sound methods for the topology optimization of architected materials, leveraging fast simulation techniques such as unfitted finite element methods, domain decomposition, reduced order modeling, or isogeometric analysis. You will work in a dynamic and collaborative environment, contributing to both the theoretical development and the software implementation of these methods. More specifically:

• Lead and contribute to research projects in the broad areas of numerical simulation and topology optimization, within FLASh and related initiatives


• Develop, implement, and maintain in-house simulation and topology optimization software


• Analyze, interpret, and publish results in leading international journals


• Present your work at national and international conferences and build a strong network in the field


• Mentor and co-supervise PhD and Master students


• Contribute to teaching activities within the group


• Assist in the preparation of grant proposals and project reports

You are the ideal candidate if

• You hold a PhD (or are nearing completion of one) in mathematics, computational mechanics, engineering, or a related field


• You have a strong background in topology optimization, ideally with experience in density-based methods (SIMP), level set approaches, or related design-for-manufacturing frameworks


• You have research experience in numerical methods for PDEs: finite element methods, immersed/unfitted methods, homogenization, or isogeometric analysis are particularly relevant


• You are proficient in Python; prior experience with the FEniCS library is a plus; C++ knowledge is an additional asset


• You have strong computational skills, including the implementation of simulation and optimization pipelines; experience with HPC or large-scale scientific computing is a plus


• You have a publication record (relative to your career stage) in internationally leading journals in computational mechanics, applied mathematics, or related areas


• You are passionate about mathematics and scientific computing, and motivated by challenging problems


• You are independent, creative, and solution-oriented, with strong self-management skills and the ability to drive research forward with limited supervision


• You think critically and are eager to work at the interface of numerical simulation and structural design for lattice/metamaterial architectures


• You communicate excellently in written and oral English


• You are a team player, open to interdisciplinary collaboration

We offer

• A stimulating and international working environment located in beautiful Switzerland


• Competitive salary and excellent working conditions. More information can be found on our website


• Opportunity to perform state-of-the-art research in one of the most dynamic scientific institutions in Europe.


• Opportunity to interact with internationally renowned experts, and with a strong team of postdoctoral researchers and PhD students


• Friendly and supportive team culture


• A 1+1 years contract

For any further information, please contact: pablo.antolin AT epfl.ch

Starting date: September 1st 2026 (flexible)

Activity Rate: 100%

Duration: 1+1 years