Offres debutant Ingenierie Logicielle a Lausanne
• 1000+ offresParcourez les postes debutant Ingenierie Logicielle a Lausanne et postulez directement.
Offres ouvertes
Postdoc: Keystone Project (Machine-Verified LLM Inference)
EPFL
Lausanne, Vaud, Switzerland
Type not specified
Salary not specified
3 days ago
Formal verificationInteractive theorem provingRocqLeanGPU kernel semanticsMachine learning infrastructureSystems softwareProof engineeringPythonC++OCamlFunctional programmingCompiler designConcurrencyLLM inferenceDistributed systems
Postdoc
EPFL
Lausanne, Vaud, Switzerland
Type not specified
Salary not specified
6 days ago
Programming languagesFormal methodsNetworkingNetKATSymbolic automataRouting algebrasPacket schedulingCybersecurityAutomata theoryTheorem provingNetwork verificationOCamlRustC/C++PythonSoftware engineering
Postdoc: Networked Systems Abstractions Lab (LASeR)
EPFL
Lausanne, Vaud, Switzerland
Type not specified
Salary not specified
6 days ago
Programming languagesFormal methodsNetworkingNetKATSymbolic automataRouting algebrasPacket schedulingCybersecurityAutomata theoryTheorem provingOCamlRustC++PythonSoftware engineeringResearch
Clinical Science Engineering Intern
ONWARD Medical
Lausanne, Vaud, Switzerland
Intern
Salary not specified
4 weeks ago
PythonSQLJavaScriptRClinical researchData analysisSoftware validationUser acceptance testingRegulatory affairsBiomedical engineeringData protectionCloud platformsTechnical documentationLiterature reviewCommunicationCollaboration
Software and Digital Intern
ONWARD Medical
Lausanne, Vaud, Switzerland
Intern
Salary not specified
3 months ago
Android DevelopmentKotlin.NETC#JavaPythonEspressoCucumberRobolectricCI/CDCloud ConnectivitySoftware Architecture
Stagiaire en Sciences et Ingénieurie de l'Environnement (Janvier à Juin 2026) (f/h/d) 80-100%
CSD
Lausanne, Vaud, Switzerland
Contractor
Salary not specified
11 months ago
Environmental ScienceField SurveysData CollectionTechnical SoftwareReport WritingArcGISQGISMicrosoft ExcelAutonomyInitiativeAnalytical SkillsSynthesis Skills
Apprentissage informaticien·ne CFC 2027
Liip
Lausanne, Vaud, Switzerland
Full-time
Salary not specified
2 months ago
Application developmentOpen source technologiesAgile methodologyHolacracyFrenchEnglishLogical thinkingTeamworkAutonomyInitiative
Junior Systems Test Engineer (M/F)
Enova Consulting
Lausanne, Vaud, Switzerland
Full-time
CHF90,000 - CHF110,000
1 months ago
Optical communicationSystems testingCleanroom operationsInstrumentationSystem integrationSatcomOptomechanicsMechatronicsHardware testingSoftware testingPythonRF instrumentationTest automationTechnical documentationValidationSpace technologies
Wildcard Application
Adaptyv
Lausanne, Vaud, Switzerland
Full-time
Salary not specified
16 months ago
Protein DesignMolecular BiologyAssay AutomationSoftware InfrastructureExperimental Validation
Robotics Hardware Intern
Embodied AI
Lausanne, Vaud, Switzerland
Intern
Salary not specified
5 weeks ago
Mechanical DesignElectronicsSystem IntegrationCAD SoftwareFusion 360Rapid Prototyping3D PrintingLaser CuttingHardware DebuggingEnglish Fluency
Apprentissage: Informaticien*ne CFC Exploitation et infrastructure
Swisscom
Lausanne, Vaud, Switzerland
Full-time
Salary not specified
2 months ago
Information technologyInfrastructure managementProgrammingSystem analysisPrototypingQuality assuranceSecurity testingTechnical problem solvingCommunicationTeamworkMathematicsNatural sciences
PhD position in Human-Robot Collaborative Assembly
EPFL
Lausanne, Vaud, Switzerland
Type not specified
Salary not specified
10 months ago
ArchitectureEngineeringComputer ScienceRoboticsDigital DesignRobotic FabricationProgrammingCommunication SkillsComputer VisionSoftware Development
Intern, Create Value
Founderful
Lausanne, Vaud, Switzerland
Volunteer
Salary not specified
4 months ago
SoftwareMachine LearningData PipelinesAutomationModel EvaluationLab AutomationDebuggingBiologyProduction WorkflowsOperationsLogisticsProblem SolvingFast LearningAIHigh EnergyHigh Agency
Intern, Create Value
Adaptyv
Lausanne, Vaud, Switzerland
Full-time
Salary not specified
4 months ago
Software DevelopmentMachine LearningData PipelinesLab AutomationBiologyOperations LogisticsModel EvaluationHardware DebuggingAI AgentsPython
ICP Systems Engineer
EPFL
Lausanne, Vaud, Switzerland
Type not specified
Salary not specified
2 months ago
Linux system administrationDockerPodmanKubernetesHelmTerraformAnsiblePuppetGitLab CI/CDFluxCDPythonBashGitNetwork administrationIT securityLoad balancing
ICP Systems Engineer
EPFL
Lausanne, Vaud, Switzerland
Type not specified
Salary not specified
4 days ago
Linux system administrationDockerPodmanKubernetesHelmTerraformAnsiblePuppetGitLab CI/CDFluxCDPythonBashGitNetwork administrationIT securityLoad balancing
Internship Bioengineering / Molecular Biology
Adaptyv
Lausanne, Vaud, Switzerland
Full-time
Salary not specified
4 months ago
Molecular CloningProtein ExpressionProtein PurificationPCRTransformationElectrophoresisSDS-PAGECapillary ElectrophoresisLiquid HandlingLab AutomationPythonProtein CharacterizationAssay DevelopmentData DocumentationBiotechnologyMolecular Biology
Apprenti·e informaticien·ne - Exploitation et infrastructure
Transports Publics de la Région
Lausanne, Vaud, Switzerland
Type not specified
Salary not specified
3 weeks ago
IT infrastructure maintenanceNetwork configurationScriptingIT service monitoringSystem securityData backupCloud solutionsVirtualizationTechnical analysisAdaptability
Post-doc on formal verification and algorithm discovery for numerical analysis
EPFL
Lausanne, Vaud, Switzerland
Type not specified
Salary not specified
2 weeks ago
Numerical analysisTopology optimizationFinite element methodsPythonC++FEniCSComputational mechanicsPartial differential equationsReduced order modelingIsogeometric analysisHPCScientific computingHomogenizationMathematical modelingResearch
Lab Operations Associate
Adaptyv
Lausanne, Vaud, Switzerland
Full-time
Salary not specified
3 months ago
Lab OperationsInventory ManagementProcurementShipping and LogisticsCold Chain ManagementBuffer PreparationAliquotingInstrument MaintenanceSafety ComplianceWaste DisposalTechnical TroubleshootingOrganization
Postdoc: Keystone Project (Machine-Verified LLM Inference)
• via SuccessfactorsEPFL
Lausanne, Vaud, Switzerland
Type not specified
Salary not specified
3 days ago
On-site
Key Skills
Formal verificationInteractive theorem provingRocqLeanGPU kernel semanticsMachine learning infrastructureSystems softwareProof engineeringPythonC++OCamlFunctional programmingCompiler designConcurrencyLLM inferenceDistributed systems