Blätter-Navigation

Angebot 173 von 181 vom 03.05.2023, 13:55

logologo

Tech­ni­sche Uni­ver­si­tät Dres­den - Faculty of Com­pu­ter Sci­ence, Insti­tute of Com­pu­ter Engi­nee­ring, Chair of Com­pi­ler Con­struc­tion

Tech­ni­sche Uni­ver­si­tät Dres­den (TUD), as a Uni­ver­sity of Excel­lence, is one of the lea­ding and most dyna­mic rese­arch insti­tu­ti­ons in the coun­try. Foun­ded in 1828, today it is a glo­bally ori­en­ted, regio­nally ancho­red top uni­ver­sity as it focu­ses on the grand chal­len­ges of the 21st cen­tury. lt deve­lops inno­va­tive solu­ti­ons for the world's most pres­sing issues. In rese­arch and aca­de­mic pro­grams, the uni­ver­sity unites the natu­ral and engi­nee­ring sci­en­ces with the huma­nities, social sci­en­ces and medi­cine. This wide range of disci­pli­nes is a spe­cial fea­ture, faci­li­ta­ting inter­di­sci­pli­na­rity and trans­fer of sci­ence to society. As a modern employer, it offers attrac­tive working con­di­ti­ons to all employees in tea­ching, rese­arch, tech­no­logy and admi­nis­tra­tion. The goal is to pro­mote and deve­lop their indi­vi­dual abi­li­ties while empowering ever­yone to reach their full poten­tial. TUD embo­dies a uni­ver­sity cul­ture that is cha­rac­te­ri­zed by cos­mo­po­li­ta­nism, mutual appre­cia­tion, thri­ving inno­va­tion and active par­ti­ci­pa­tion. For TUD diver­sity is an essen­tial fea­ture and a qua­lity cri­ter­ion of an excel­lent uni­ver­sity. Accord­in­gly, we wel­come all app­li­cants who would like to com­mit them­sel­ves, their achie­ve­ments and pro­duc­tivity to the suc­cess of the whole insti­tu­tion.

Rese­arch Asso­ciate / Post­doc (m/f/x)

At the Fac­ulty of Com­puter Sci­ence, Insti­tute of Com­puter Engin­eer­ing, the Chair of Com­piler Con­struc­tion offers a pro­ject-pos­i­tion in a col­lab­or­at­ive pro­ject for novel pro­gram­ming meth­od­o­lo­gies for effi­cient and safe exe­cu­tion of safety-cri­ti­cial soft­ware as
Research Asso­ci­ate / Postdoc (m/f/x)
(sub­ject to per­sonal qual­i­fic­a­tion employ­ees are remu­ner­ated accord­ing to salary group E 13 TV-L)
start­ing on August 1, 2023.

Research areas: Pro­gram­ming lan­guages, source-to-source com­pil­a­tion, code optim­iz­a­tion, emer­ging com­put­ing sys­tems

Terms: The pos­i­tion is lim­ited to July 31, 2026 (with the option to be exten­ded). The period of employ­ment is gov­erned by § 2 (2) Fixed Term Research Con­tracts Act (Wis­senschaft­szeitver­trags­ge­setz – Wis­sZeitVG).

Working field:

At the Chair of Com­pi­ler Con­struc­tion we have the long-term vision of sha­ping how future elec­tro­nic sys­tems are pro­gram­med. This inclu­des defi­ning novel pro­gramming methods through domain-spe­ci­fic abs­trac­tions and asso­cia­ted com­pi­ler infra­st­ruc­tures to enable opti­mi­zing soft­ware for hete­ro­ge­ne­ous com­pu­ting sys­tems in the embed­ded and high-per­for­mance com­pu­ting domains. In this con­text, we are loo­king for a highly moti­va­ted rese­ar­cher to work on a col­la­bo­ra­tive pro­ject bet­ween Ger­many and France that seeks to define metho­do­lo­gies for safe and effi­ci­ent exe­cu­tion of safety-cri­ti­cal soft­ware. The pro­ject com­bi­nes for­mal methods and bench­mar­king to cap­ture the timing beha­vior of app­li­ca­ti­ons and defi­nes rules and trans­for­ma­ti­ons to guide the app­li­ca­tion soft­ware syn­the­sis for a more pre­dic­ta­ble timing beha­vior on state-of-the-art off-the-shelf hete­ro­ge­ne­ous mul­ti­cores. The can­di­date will inter­act with experts in for­mal ana­ly­sis, cer­ti­fi­ca­tion of safety-cri­ti­cal soft­ware in the aero­space and auto­mo­tive domains, and inter­fe­rence ana­ly­sis in modern hard­ware. We are loo­king for a can­di­date with exper­tise in sys­tem-level opti­mi­za­tion metho­do­lo­gies, high-level com­pi­la­tion, and with a strong inter­di­sci­pli­nary atti­tude towards rese­arch. Know­ledge of strea­ming and data­f­low pro­gramming models as well as MLIR-based com­pi­la­tion is extre­mely bene­fi­cial. The selec­ted can­di­date will work with state-of-the-art com­pi­la­tion frame­works and with sys­tem simu­la­tors for hete­ro­ge­ne­ous sys­tems.

Requirements:

We aim at attrac­ting the best talent in the respec­tive rese­arch fields and expect the fol­lo­wing:
Basic Requi­re­ments:
  • an out­stan­ding uni­ver­sity degree (mas­ter / diploma), if app­li­ca­ble a PhD degree (or equi­va­lent) in com­pu­ter sci­ence, mathe­ma­tics, elec­tri­cal engi­nee­ring or a rele­vant area;
  • an inde­pen­dent, tar­get- and solu­tion-dri­ven work atti­tude;
  • an inte­gra­tive and coope­ra­tive per­so­na­lity with excel­lent com­mu­ni­ca­tion and social skills;
  • flu­ency in Eng­lish - writ­ten and oral.
Pre­fer­red Qua­li­fi­ca­tion:
  • know­ledge of pro­gramming lan­guages and methods;
  • strong back­ground in com­pu­ter archi­tec­ture;
  • know­ledge of LLVM, Clang and/or MLIR is bene­fi­cial;
  • know­ledge of fun­da­men­tals of safety-cri­ti­cal sys­tems is bene­fi­cial;
  • expe­ri­ence with data­f­low and syn­chro­nous models is bene­fi­cial;
  • initial record of crea­tive rese­arch is bene­fi­cial.

What we offer:

Infor­mal enqui­ries can be sub­mit­ted to Prof. Dr.-Ing. Jeronimo Cas­tril­lon, Tel +49 (351) 463 42716; E-mail: jeronimo.castrillon@tu-dresden.de

TUD stri­ves to employ more women in aca­de­mia and rese­arch. We the­re­fore expressly encou­rage women to apply. The Uni­ver­sity is a cer­ti­fied family-fri­endly uni­ver­sity and offers a Dual Career Ser­vice. We wel­come app­li­ca­ti­ons from can­di­da­tes with disa­bi­li­ties. If mul­ti­ple can­di­da­tes prove to be equally qua­li­fied, those with disa­bi­li­ties or with equi­va­lent sta­tus pur­suant to the Ger­man Social Code IX (SGB IX) will receive prio­rity for employ­ment.

What we offer
You will join a team of enthu­si­astic rese­ar­chers who crea­tively pur­sue their indi­vi­dual rese­arch agen­das. The chair is a part of the “Cen­ter for Advan­cing Elec­tro­nics Dres­den”, which offers ple­nty of resour­ces and struc­tures for career deve­lop­ment.

How to apply:

Com­plete applic­a­tions (in Eng­lish only) includ­ing motiv­a­tion let­ter, CV, copy of degree cer­ti­fic­ate, tran­script of grades (i.e. the offi­cial list of course­work includ­ing your grades) and proof of Eng­lish lan­guage skills should be sub­mit­ted prefer­ably via the TU Dresden Secure­Mail Portal https://securemail.tu-dresden.de by send­ing it as a single pdf doc­u­ment quot­ing the ref­er­ence num­ber PhD2212-CCC in the sub­ject header to jeronimo.castrillon@tu-dresden.de or altern­at­ively by post to: TU Dresden, cfaed, Pro­fes­sur für Com­pilerbau, Herrn Prof. Jer­on­imo Castril­lon, Helm­holtz­str. 10, 01069 Dresden, Ger­many. The clos­ing date for applic­a­tions is May 31, 2023 (stamped arrival date of the uni­versity cent­ral mail ser­vice applies). Please sub­mit cop­ies only, as your applic­a­tion will not be returned to you. Expenses incurred in attend­ing inter­views can­not be reim­bursed.

Ref­er­ence to data pro­tec­tion: Your data pro­tec­tion rights, the pur­pose for which your data will be pro­cessed, as well as fur­ther inform­a­tion about data pro­tec­tion is avail­able to you on the web­site: https://tu-dresden.de/karriere/datenschutzhinweis

About cfaed
The cfaed is a cluster which brings together 200 research­ers from TU Dresden and ten other research insti­tu­tions in the areas of Elec­trical and Com­puter Engin­eer­ing, Com­puter Sci­ence, Mater­i­als Sci­ence, Phys­ics, Chem­istry, Bio­logy, and Math­em­at­ics. The cfaed addresses the advance­ment of elec­tronic inform­a­tion pro­cessing sys­tems through explor­ing new tech­no­lo­gies which over­come the lim­its of today’s pre­dom­in­ant CMOS tech­no­logy. www.tu-dresden.de/cfaed

About TU Dresden
The TU Dresden is among the top uni­versit­ies in Ger­many and Europe and one of the eleven Ger­man uni­versit­ies that were iden­ti­fied as an ‘elite uni­versity’ since 2012. As a mod­ern full-status uni­versity with 17 fac­ulties it offers a wide aca­demic range mak­ing it one of a very few in Ger­many.