Sort by
Refine Your Search
-
an assistant that offers real-time feedback and recommendations without disrupting agile development? Objectives The PhD will develop the ReqSecDes framework by combining AI-driven extraction and formalization
-
shortage of specialized expertise, the lack of systematic methods to refine abstract security goals such as confidentiality, integrity, or availability into actionable design decisions, and the absence
-
/candidatOffres/show/id_offre/133503 Requirements Specific Requirements Master’s students Required skills: machine learning, software engineering, cybersecurity, formal methods Additional Information Work Location
-
on fluctuation of fluorescent molecules methods as they don’t need any specific materiel or fluorophore. The super-resolved image reconstruction is formalized in mathematical terms as an inverse problem with
-
practical work May participate in dissertation supervisory committees Active participation in and support of the organization of the activities of the research group Team MIDAS and of DMATH Your profile PhD
-
PhD Positions Country France Application Deadline 30 Nov 2025 - 23:59 (Europe/Paris) Type of Contract Temporary Job Status Full-time Offer Starting Date 1 Apr 2026 Is the job funded through the EU
-
-injection attacks and applied formal methods for microarchitectural analyses. Ref : [1] µArchiFI : https://github.com/CEA-LIST/uArchiFI [2] k-FRP : https://github.com/CEA-LIST/Fault-Resistant-Partitioning [3
-
1 Sep 2025 Job Information Organisation/Company École nationale des ponts et chaussées Research Field Engineering Researcher Profile First Stage Researcher (R1) Positions PhD Positions Country
-
contact Prof. Ralf Seppelt, Your profile You'll be able to demonstrate experiences in management environmental data in different projects, and meet the following qualifications: PhD in Data Science
-
a challenging problem. Candidate profile PhD on optimization and/or image processing. Strong background in applied mathematics, image processing, learning methods and algorithms. Good coding skills